repos
/
cl-unification
/ commit
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
unified
|
plain
|
darcs
Updated copyright notice.
author
mantoniotti
local date
Thu, 19 May 2005 22:52:52
date
Thu, 19 May 2005 22:52:52
hash
20050519225252-0588d-1b14f489312bfb30b15837784893ffabc0967bb9.gz
1 file(s) changed:
COPYING
+7 -7
diff
|
history
|
annotate