preferences.py
changeset 68 8157c41b3236
parent 62 e7ca94b94a4e
child 73 5a7188bf2894
equal deleted inserted replaced
67:13975aa16b4c 68:8157c41b3236