QTfrontend/ui/page/pageinfo.cpp
changeset 14693 6a2e13e36b7f
parent 12482 eeeb7e8de95c
equal deleted inserted replaced
14692:e5415faa117b 14693:6a2e13e36b7f