QTfrontend/ui/page/pageinfo.cpp
changeset 14650 8ffa0c27f434
parent 12482 eeeb7e8de95c
equal deleted inserted replaced
14649:a049926fcdd3 14650:8ffa0c27f434