QTfrontend/ui/widget/gamecfgwidget.h
changeset 13197 0bc5f618ca7c
parent 12811 de3cbbb09915
child 13244 d49bd0dd735d
equal deleted inserted replaced
13196:f93658732448 13197:0bc5f618ca7c