settings_gui.c
changeset 1272 d3e09adb7736
parent 1249 6f94bcdd620d
child 1282 e7a73ee62d2f
equal deleted inserted replaced
1271:2b8bfb61ce90 1272:d3e09adb7736