QTfrontend/util/namegen.cpp
changeset 13216 95311e220eb6
parent 12630 11f5fe0407e5
child 13910 6c8d4e140f27