repos
/
cl-unification
/ commit
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
unified
|
plain
|
darcs
Added credits to a few people. Missing ones should bug the maintainer :)
author
mantoniotti
local date
Sun, 13 Jul 2008 13:33:48
date
Sun, 13 Jul 2008 13:33:48
hash
20080713133348-0588d-b999db21dc8c72f13067e8db257c91f176af8237.gz
1 file(s) changed:
ACKNOWLEDGEMENTS
+3 -3
diff
|
history
|
annotate