Store some globally used options in a global dictionary
commit7641c54300016a8b024c82d49b78b22b1d80ed29
authorErik Hahn <erik_hahn@gmx.de>
Fri, 31 Jul 2009 16:22:57 +0000 (31 18:22 +0200)
committerErik Hahn <erik_hahn@gmx.de>
Fri, 31 Jul 2009 19:19:37 +0000 (31 21:19 +0200)
tree1e20292ba5747c257e7d7e9fc5a9384ec90fcfe5
parentfdf1f7274a733f71d1de68710fbc6a28769287e7
Store some globally used options in a global dictionary
ordnung.py