QTfrontend/gameuiconfig.h
changeset 572 302ad5c3836d
parent 555 0376fdcc6322
child 603 d7877468653b
equal deleted inserted replaced
571:a6cea9fbbc59 572:302ad5c3836d