QTfrontend/gamecfgwidget.cpp
changeset 572 302ad5c3836d
parent 486 7ea71cd3acd5
child 677 9d0bcc3c903a
equal deleted inserted replaced
571:a6cea9fbbc59 572:302ad5c3836d