preferences.py
changeset 96 d30c88e89a7e
parent 79 43ac75054d5c
child 129 67a30d680f60
equal deleted inserted replaced
95:ebdbda3dd5d0 96:d30c88e89a7e