QTfrontend/ui/page/pageinfo.cpp
changeset 15788 acf70c44065b
parent 12482 eeeb7e8de95c