preferences.py
changeset 70 72edbbb414a7
parent 62 e7ca94b94a4e
child 73 5a7188bf2894
equal deleted inserted replaced
69:1f182913b1f2 70:72edbbb414a7