QTfrontend/gameuiconfig.h
changeset 801 0323e5c7ee54
parent 603 d7877468653b
child 949 866729775535
equal deleted inserted replaced
800:e95f16b7ec80 801:0323e5c7ee54