QTfrontend/util/namegen.h
changeset 15756 1d652bca512e
parent 14935 4accf3e18dbc