QTfrontend/ui/page/pageoptions.h
branch0.9.18
changeset 7927 a96614777ce6
parent 7703 78d2ac987f41
child 8151 25b95d6224fc
equal deleted inserted replaced
7925:de3814a13f65 7927:a96614777ce6