Index: xotcl/doc/xo-whichPkg.html =================================================================== diff -u -r7eebad4e9179bac6fac6af582851da851ff8def6 -rf9bb662bd07a30d00a33e75ab3354bb9f8463999 --- xotcl/doc/xo-whichPkg.html (.../xo-whichPkg.html) (revision 7eebad4e9179bac6fac6af582851da851ff8def6) +++ xotcl/doc/xo-whichPkg.html (.../xo-whichPkg.html) (revision f9bb662bd07a30d00a33e75ab3354bb9f8463999) @@ -50,7 +50,7 @@ Date: