QTfrontend/ui/page/pageinfo.cpp
changeset 15725 8111e2505a48
parent 12482 eeeb7e8de95c