Merge branch 'master' of git://ralfj.de/dsl
-rw-r--r-- 6 .gitignore
-rw-r--r-- 17988 COPYING
-rwxr-xr-x 6663 dsl.py
-rw-r--r-- 1072 gui.py
-rw-r--r-- 3616 selector_window.py