QTfrontend/gamecfgwidget.h
changeset 1810 4059cafd1da7
parent 1802 dd148e2506e2
child 1873 815a3ff1fe4b
equal deleted inserted replaced
1809:77923087a1ce 1810:4059cafd1da7