settings_gui.c
changeset 1775 08ff0f12ccdc
parent 1759 ea38d6193887
child 1781 92e08797c84b
equal deleted inserted replaced
1774:0fc4a31265c2 1775:08ff0f12ccdc