preferences.py
changeset 60 759369a79527
parent 59 8ec729c5d998
child 62 e7ca94b94a4e
equal deleted inserted replaced
59:8ec729c5d998 60:759369a79527