settings_gui.c
changeset 1457 6a8ca2f51a8b
parent 1385 324d3d06a930
child 1477 2174a73b11c9
equal deleted inserted replaced
1456:9d1279ded01c 1457:6a8ca2f51a8b