QTfrontend/ui/page/pageinfo.cpp
changeset 15030 dc4a12a84c92
parent 12487 eeeb7e8de95c
equal deleted inserted replaced
15029:af2f6f4074de 15030:dc4a12a84c92