Include name in short_id; fixes multiple patches with same time stamp.
treea2a9810b08432caa87bcd07bfb3bb9d25afdce10
-rw-r--r-- 60 .gitignore
-rw-r--r-- 284 Makefile
-rw-r--r-- 27115 darcs2git.py
drwxr-xr-x - tests