QTfrontend/ui/page/pageinfo.cpp
changeset 13969 fc43d63ee5a7
parent 12487 eeeb7e8de95c
equal deleted inserted replaced
13968:299f0988ceb6 13969:fc43d63ee5a7