QTfrontend/gamecfgwidget.cpp
changeset 1559 71e1f67dcfe7
parent 1532 e77b2ed67431
child 1576 a02353129a41
equal deleted inserted replaced
1558:3370b7ffeb5c 1559:71e1f67dcfe7