settings_gui.c
changeset 1538 c67f0386df1d
parent 1501 0faec0f792b0
child 1739 4f3082735fbc
equal deleted inserted replaced
1537:edd70cde5f84 1538:c67f0386df1d