preferences.py
changeset 124 4bc4de14f006
parent 79 43ac75054d5c
child 129 67a30d680f60
equal deleted inserted replaced
123:3297596ab606 124:4bc4de14f006