QTfrontend/gameuiconfig.cpp
changeset 2254 bb68e5a5be56
parent 2216 82e7da49c26a
child 2261 57e99c908e7c
equal deleted inserted replaced
2253:ecd10eaa5daf 2254:bb68e5a5be56