QTfrontend/ui/widget/gamecfgwidget.cpp
changeset 13137 52178e8ffdfc
parent 12905 a9e4e8fa852c
child 13202 0bc5f618ca7c
equal deleted inserted replaced
13136:f10f4bf5f84d 13137:52178e8ffdfc