QTfrontend/gamecfgwidget.h
changeset 4288 e31edc523f18
parent 4237 ef9b201c97fe
child 4324 43e3f1eeceb5
equal deleted inserted replaced
4285:95b72b1d603a 4288:e31edc523f18