QTfrontend/util/namegen.cpp
changeset 15708 034955e721a1
parent 14956 4accf3e18dbc