QTfrontend/ui/page/pageingame.cpp
changeset 13757 6908d1e65cdc
parent 11046 47a8c19ecb60