QTfrontend/gamecfgwidget.h
changeset 1740 0d69ff7b5fbf
parent 1531 f404233b6d9b
child 1782 e7589e37a6d6
equal deleted inserted replaced
1738:00e8dadce69a 1740:0d69ff7b5fbf