QTfrontend/gameuiconfig.cpp
changeset 1502 db1f1dd12321
parent 1487 b4cc59a6d50a
child 1777 88674c291331
equal deleted inserted replaced
1501:a0e56fdf10cd 1502:db1f1dd12321