settings_gui.c
changeset 2074 f23dcde246da
parent 2064 c889fcc76398
child 2125 3098398bf7ff
equal deleted inserted replaced
2073:899419c9b997 2074:f23dcde246da