QTfrontend/gameuiconfig.cpp
changeset 420 6cdfc07dceed
parent 321 1148eeb0557e
child 471 e1eb64ba5e9c
equal deleted inserted replaced
419:fdeed9718e6b 420:6cdfc07dceed