QTfrontend/util/namegen.cpp
changeset 15617 b988d3be7100
parent 14956 4accf3e18dbc