QTfrontend/ui/widget/gamecfgwidget.h
changeset 13128 2f7c8e2ebe8e
parent 12811 de3cbbb09915
child 13244 d49bd0dd735d