preferences.py
changeset 65 8b50694f841e
parent 62 e7ca94b94a4e
child 73 5a7188bf2894
equal deleted inserted replaced
64:cdb6403c2498 65:8b50694f841e