QTfrontend/ui/page/pageplayrecord.cpp
changeset 14267 72e9d69a5e4d
parent 12478 faed28f815c7
child 14841 b9437746bffb
equal deleted inserted replaced
14266:1b8c889027a3 14267:72e9d69a5e4d