minor fixes.
tree49a6647f53160751d87d290cc05c32cc65b0e604
-rw-r--r-- 60 .gitignore
-rw-r--r-- 284 Makefile
-rw-r--r-- 23134 darcs2git.py
drwxr-xr-x - tests