QTfrontend/gameuiconfig.cpp
branch0.9.23
changeset 12850 b148eefe45c1
parent 12237 76fa467b6833
child 13080 23a498a2b5b8
equal deleted inserted replaced
12846:e5c461729fe3 12850:b148eefe45c1