QTfrontend/ui/page/pageinfo.cpp
branchqt5transition
changeset 13186 07c93d864bc2
parent 12482 eeeb7e8de95c
equal deleted inserted replaced
13182:d2f8dafdb080 13186:07c93d864bc2