settings_gui.c
changeset 1281 1573d0e4e7a1
parent 1249 6f94bcdd620d
child 1282 e7a73ee62d2f
equal deleted inserted replaced
1280:b6925875de49 1281:1573d0e4e7a1