QTfrontend/namegen.h
changeset 5222 0922b9d816af
parent 5114 a05081bc2769
child 6015 daffc14a518a
equal deleted inserted replaced
5221:632c42555a01 5222:0922b9d816af