QTfrontend/ui/page/pageinfo.h
changeset 14966 5a9d203f7c82
parent 11046 47a8c19ecb60