Index: xotcl/doc/xo-whichPkg.html =================================================================== diff -u -r78e82b3563a644f2df47320eacc693f1b788b03c -rbb3c756fb47517596b9dbcb4e580aa1212827b41 --- xotcl/doc/xo-whichPkg.html (.../xo-whichPkg.html) (revision 78e82b3563a644f2df47320eacc693f1b788b03c) +++ xotcl/doc/xo-whichPkg.html (.../xo-whichPkg.html) (revision bb3c756fb47517596b9dbcb4e580aa1212827b41) @@ -50,7 +50,7 @@ Date: