settings_gui.c
changeset 2088 d7a97ef74701
parent 2064 e6a2b42d0b15
child 2125 edc17858f9f6
equal deleted inserted replaced
2087:a03690e33b66 2088:d7a97ef74701