QTfrontend/gamecfgwidget.cpp
changeset 1251 1f545d9a10ca
parent 1218 ada50f82ea53
child 1427 b510f7a74ef6
equal deleted inserted replaced
1250:180b044f09b7 1251:1f545d9a10ca