QTfrontend/ui/page/pageinfo.cpp
changeset 7235 baa69bd025d9
parent 6952 7f70f37bbf08
child 9080 9b42757d7e71
equal deleted inserted replaced
7231:f484455dd055 7235:baa69bd025d9