src/settings_gui.cpp
changeset 6191 12d69f54e920
parent 6144 5a0ffbf27ced
child 6235 5077e6ed3788
child 6338 0fb4f452873c
equal deleted inserted replaced
6190:13cbd6c913f3 6191:12d69f54e920