preferences.py
changeset 103 0e829e6275dc
parent 79 43ac75054d5c
child 129 67a30d680f60
equal deleted inserted replaced
102:e396613bc873 103:0e829e6275dc