QTfrontend/namegen.cpp
changeset 5206 db775bddf771
parent 5115 276410cc1178
child 5238 46ddaf14509d