src/settings_gui.cpp
changeset 6505 8b4c20ddacd3
parent 6492 286a52449b54
child 6543 57dfb0d16b10
equal deleted inserted replaced
6504:1beaedad1611 6505:8b4c20ddacd3