QTfrontend/ui/page/pageoptions.h
changeset 8483 d5fd4d7a0bcc
parent 8387 f9d1191476ce
child 8902 a94c074fd483
equal deleted inserted replaced
8482:5656a73fe3c3 8483:d5fd4d7a0bcc