preferences.py
changeset 66 090ed78ec8fa
parent 62 e7ca94b94a4e
child 73 5a7188bf2894
equal deleted inserted replaced
65:8b50694f841e 66:090ed78ec8fa