Store some globally used options in a global dictionary
tree1e20292ba5747c257e7d7e9fc5a9384ec90fcfe5
-rw-r--r-- 6 .gitignore
-rw-r--r-- 92 .gitmodules
-rw-r--r-- 35147 COPYING.txt
-rw-r--r-- 1639 README.txt
-rw-r--r-- 5298 ordnung.py
-rw-r--r-- 32043 path.py
m--------- - tag_wrapper