christos 764e7492a8 PR/4615: David Jones: Ping usage does not show -o option.		1997-12-01 08:41:48 +00:00
..
Makefile	- remove -g from Makefile	1997-03-11 21:53:41 +00:00
ping.8	Fix man page confusion about the -R option, per PR#4246	1997-11-06 10:07:33 +00:00
ping.c	PR/4615: David Jones: Ping usage does not show -o option.	1997-12-01 08:41:48 +00:00