QTfrontend/pageinfo.cpp
changeset 6058 ae8684864a6e
parent 6042 8b5345758f62
child 6059 ddf020d0941a