QTfrontend/ui/widget/gamecfgwidget.cpp
changeset 7523 0790527b4e00
parent 7258 722e8a0d89dc
child 7771 ce6d4dd0c780
equal deleted inserted replaced
7521:093ea41051c5 7523:0790527b4e00