preferences.py
changeset 58 ce028d356e1f
parent 53 8103d18907a0
child 59 8ec729c5d998
equal deleted inserted replaced
57:e123721e4b34 58:ce028d356e1f