QTfrontend/namegen.h
changeset 5438 d080fb32d703
parent 5114 a05081bc2769
child 6015 daffc14a518a
equal deleted inserted replaced
5429:0caa7519cbd1 5438:d080fb32d703