QTfrontend/namegen.h
changeset 1968 f32b18c5d495
parent 1907 a104432e8301
child 2948 3f21a9dc93d0
equal deleted inserted replaced
1967:213d368a002f 1968:f32b18c5d495