QTfrontend/gamecfgwidget.h
changeset 1234 1091e2f12751
parent 1217 d6d91eec00f2
child 1427 b510f7a74ef6
equal deleted inserted replaced
1233:5e8b072edc46 1234:1091e2f12751