Index: doc/pinger-xotcl.html
===================================================================
diff -u -rc72f9f638677608fab1502cd696c8f2d6b2952f9 -r4dd2595d98574faaac87f5dd33b542516fdff5df
--- doc/pinger-xotcl.html (.../pinger-xotcl.html) (revision c72f9f638677608fab1502cd696c8f2d6b2952f9)
+++ doc/pinger-xotcl.html (.../pinger-xotcl.html) (revision 4dd2595d98574faaac87f5dd33b542516fdff5df)
@@ -3,6 +3,7 @@
XOTcl - Documentation -- ./apps/scripts/pinger.xotcl
+