src/settings_gui.cpp
changeset 9480 d3e94850ecdd
parent 9466 5a1d4eb2ae07
child 9533 e8b86b70c5f6
equal deleted inserted replaced
9479:c8ab793e4595 9480:d3e94850ecdd