QTfrontend/gameuiconfig.h
changeset 13656 edbe5d80ffbc
parent 13628 d5e029b84e16
child 14670 56831f466d1d
equal deleted inserted replaced
13655:45b325bb9bb1 13656:edbe5d80ffbc