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