repos
/
cl-unification
/ commit
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
unified
|
plain
|
darcs
Fixed a documentation bug.
author
mantoniotti
local date
Fri, 20 May 2005 16:18:33
date
Fri, 20 May 2005 16:18:33
hash
20050520161833-0588d-518a8f987a00de755fe8ec23da8db78c2c1f43f9.gz
Fixed a documentation bug.
Fixed a documentation bug.
Thanks to Norman Werner for spotting it.
1 file(s) changed:
docs/html/number-template-class.html
+3 -3
diff
|
history
|
annotate