QTfrontend/ui/page/pageinfo.cpp
changeset 13185 1b31c3fb65fc
parent 12482 eeeb7e8de95c