QTfrontend/ui/page/pageinfo.h
changeset 15725 8111e2505a48
parent 11046 47a8c19ecb60
equal deleted inserted replaced
15724:0436ea41ece5 15725:8111e2505a48