repos
/
cl-unification
/ darcs_commitdiff
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
unified
|
plain
|
darcs
Minor cleanup.
Mon Jul 25 15:15:08 UTC 2005 mantoniotti
* Minor cleanup.
hunk ./docs/html/downloads.html 18
- | <a href="links.html" class="navigation-link">Links</a>
+ | <a href="links.html" class="navigation-link">Links</a>