QTfrontend/ui/page/pageinfo.cpp
changeset 15081 3a561db2a71c
parent 12482 eeeb7e8de95c
equal deleted inserted replaced
15080:cd60866e6efb 15081:3a561db2a71c