QTfrontend/ui/page/pageoptions.h
changeset 8229 251f38da9935
parent 8226 67f07ff5b593
child 8266 927da572bcdc
equal deleted inserted replaced
8226:67f07ff5b593 8229:251f38da9935