QTfrontend/util/namegen.cpp
changeset 15812 efe4e3290870
parent 14956 4accf3e18dbc