QTfrontend/gamecfgwidget.h
changeset 4933 86bd82d58a0b
parent 4560 5d6c7f88db73
child 4936 d65d438acd23
equal deleted inserted replaced
4932:f11d80bac7ed 4933:86bd82d58a0b