src/settings.cpp
branchcpp_gui
changeset 6258 a2f86b8fd99b
parent 6254 abc6ad7c035c
child 6298 c30fe89622df
child 6555 c27c9d5b459f
child 9895 7bd07f43b0e3
equal deleted inserted replaced
6257:2ffe947969ca 6258:a2f86b8fd99b