Index: xotcl/doc/xo-whichPkg.html =================================================================== diff -u -r20e421dc641dc39b53106b1296ac7e09d0b206f2 -r99a7a21854051cd691029b15ef8877aa9e86cf44 --- xotcl/doc/xo-whichPkg.html (.../xo-whichPkg.html) (revision 20e421dc641dc39b53106b1296ac7e09d0b206f2) +++ xotcl/doc/xo-whichPkg.html (.../xo-whichPkg.html) (revision 99a7a21854051cd691029b15ef8877aa9e86cf44) @@ -50,7 +50,7 @@ Date: