QTfrontend/namegen.cpp
changeset 6038 58d9badf3e7f
parent 6024 d38da7c19e43