QTfrontend/ui/page/pageinfo.cpp
changeset 15725 8111e2505a48
parent 12482 eeeb7e8de95c
equal deleted inserted replaced
15724:0436ea41ece5 15725:8111e2505a48