settings_gui.c
changeset 2419 076f0b1403dd
parent 2307 484c654dc875
child 2454 a63075764541
equal deleted inserted replaced
2418:ce15155b77f5 2419:076f0b1403dd