QTfrontend/gameuiconfig.h
changeset 434 2c6ccce17f39
parent 321 1148eeb0557e
child 486 7ea71cd3acd5