QTfrontend/ui/page/pageinfo.cpp
changeset 13232 2a3c52c49e8e
parent 12482 eeeb7e8de95c
equal deleted inserted replaced
13231:6193503c4727 13232:2a3c52c49e8e