repos
/
cl-unification
/ commit
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
unified
|
plain
|
darcs
Minor cleanup.
author
mantoniotti
local date
Mon, 25 Jul 2005 15:15:08
date
Mon, 25 Jul 2005 15:15:08
hash
20050725151508-0588d-496d48b7f7f918b6a308ff0e8fb927801dea6776.gz
1 file(s) changed:
docs/html/downloads.html
+1 -1
diff
|
history
|
annotate