preferences.py
changeset 75 c5ce145fdd70
parent 73 5a7188bf2894
child 79 43ac75054d5c
equal deleted inserted replaced
74:1ab95857d584 75:c5ce145fdd70