QTfrontend/ui/page/pageplayrecord.cpp
changeset 12257 5ac38cf14d91
parent 12241 a0ed4caa6d35
child 12476 a79fe5666d90
equal deleted inserted replaced
12256:caff1a3a7456 12257:5ac38cf14d91