QTfrontend/gameuiconfig.cpp
changeset 871 f1bf00b7fd5a
parent 674 a15c8e3c69b3
child 883 07a568ba44e0
equal deleted inserted replaced
870:dd418d9c18c5 871:f1bf00b7fd5a