QTfrontend/gamecfgwidget.cpp
changeset 1332 19ff9bf7d69e
parent 1218 ada50f82ea53
child 1427 b510f7a74ef6
equal deleted inserted replaced
1331:ae291cfd617a 1332:19ff9bf7d69e