src/settings_gui.cpp
branch0.6
changeset 10659 2d983c15a049
parent 10655 b862a4add8b0
equal deleted inserted replaced
10657:fedc1923d40e 10659:2d983c15a049