QTfrontend/gamecfgwidget.cpp
changeset 2173 98cde8645e21
parent 2080 6d29370dc0dd
child 2377 f3fab2b09e0c
equal deleted inserted replaced
2172:80d34c0b9dfe 2173:98cde8645e21