QTfrontend/gamecfgwidget.h
changeset 557 a7d49d5e8257
parent 486 7ea71cd3acd5
child 696 d6f32ed6edc8
equal deleted inserted replaced
556:49675457d76e 557:a7d49d5e8257