QTfrontend/ui/widget/gamecfgwidget.h
branchflibqtfrontend
changeset 8271 9cebdcc689d7
parent 8092 08960209db8c
equal deleted inserted replaced
8269:c71721d371dc 8271:9cebdcc689d7