src/settings_gui.cpp
changeset 6357 a09d43cd3e6c
parent 6338 0fb4f452873c
child 6573 7624f942237f
child 9881 fbb3eab0e186
equal deleted inserted replaced
6356:688f81d17aec 6357:a09d43cd3e6c