QTfrontend/gamecfgwidget.h
changeset 1374 f33fa81e583d
parent 1217 d6d91eec00f2
child 1427 b510f7a74ef6
equal deleted inserted replaced
1373:ca719502b87f 1374:f33fa81e583d