settings_gui.c
changeset 757 a3510cb57cfc
parent 654 48d737ea744c
child 759 6d087784a08a
equal deleted inserted replaced
756:d1f1dc31b6f4 757:a3510cb57cfc