QTfrontend/gamecfgwidget.h
changeset 1454 e58d3bbfc7af
parent 1427 b510f7a74ef6
child 1517 27caa8c6e73a
equal deleted inserted replaced
1453:2dc2c4429756 1454:e58d3bbfc7af