QTfrontend/util/namegen.cpp
changeset 15218 517f3a1dd5c2
parent 14940 4accf3e18dbc