QTfrontend/ui/page/pageoptions.cpp
changeset 12255 05f1935175da
parent 12246 0b5aa545e058
child 12256 caff1a3a7456
equal deleted inserted replaced
12254:d23695f96290 12255:05f1935175da