QTfrontend/util/namegen.h
changeset 15000 4406994969c3
parent 14956 4accf3e18dbc