QTfrontend/gamecfgwidget.cpp
changeset 564 17fb45c670c1
parent 486 7ea71cd3acd5
child 677 9d0bcc3c903a
equal deleted inserted replaced
563:5131c641073f 564:17fb45c670c1