QTfrontend/gameuiconfig.h
changeset 1230 80665a20b0fd
parent 1165 40eeae82e70b
child 1487 b4cc59a6d50a
equal deleted inserted replaced
1229:f37c77bdc392 1230:80665a20b0fd