QTfrontend/ui/widget/gamecfgwidget.h
changeset 12841 8610462e3d33
parent 12816 de3cbbb09915
child 13249 d49bd0dd735d
equal deleted inserted replaced
12840:71cdc02ccca6 12841:8610462e3d33