QTfrontend/util/namegen.h
changeset 15507 ad9fe7dc2ff7
parent 14940 4accf3e18dbc