src/settings_gui.cpp
changeset 7528 fe994ed19d34
parent 7485 d8799216928a
child 7582 80c8517b08d1
equal deleted inserted replaced
7527:a1d3a14ae669 7528:fe994ed19d34