Handle repos where commitid may be 15 instead of 16 characters.master
tree2e1f6ca0f2a681b1907b093309268bc2c21f7fd8
-rw-r--r-- 20 .gitignore
-rw-r--r-- 108 Makefile
-rw-r--r-- 35897 cvsclone.l
-rw-r--r-- 571 readme.txt