QTfrontend/ui/page/pageinfo.cpp
changeset 13604 73b096e1d895
parent 12482 eeeb7e8de95c
equal deleted inserted replaced
13603:369efa5e01fa 13604:73b096e1d895