QTfrontend/util/namegen.h
changeset 15782 ff1432e873bd
parent 14956 4accf3e18dbc