Index: apps/scripts/pinger.xotcl =================================================================== diff -u -r46f02e4868e118466d888b35d6b281b3f2ba31ac -r4dd2595d98574faaac87f5dd33b542516fdff5df --- apps/scripts/pinger.xotcl (.../pinger.xotcl) (revision 46f02e4868e118466d888b35d6b281b3f2ba31ac) +++ apps/scripts/pinger.xotcl (.../pinger.xotcl) (revision 4dd2595d98574faaac87f5dd33b542516fdff5df) @@ -1,4 +1,4 @@ -#$Id: pinger.xotcl,v 1.1.1.1 2004/05/23 22:50:39 neumann Exp $ +#$Id: pinger.xotcl,v 1.1 2004/05/23 22:50:39 neumann Exp $ # include the pattern source observer.xotcl