Merge branch 'remove_cruft'
tree04c6559daff0ff1136dfb89dd3e9dc7f636b493b
-rw-r--r-- 18 .gitignore
-rw-r--r-- 92 .gitmodules
-rw-r--r-- 35147 COPYING.txt
-rw-r--r-- 1486 README.txt
-rw-r--r-- 6332 ordnung.py
-rw-r--r-- 32043 path.py