settings_gui.c
changeset 1928 1aab00f664d7
parent 1891 862800791170
child 1938 70baf462aff1
equal deleted inserted replaced
1927:1181e7652e2f 1928:1aab00f664d7