cgd beb4553725 have ping do the right thing, wrt microseconds. ... actually, now it'll overflow its counters sooner than before, and everything should *really* be converted to doubles and/or "unsigned long long"s		1993-07-22 09:49:57 +00:00
..
Makefile	changed "Id" to "Header" for rcsids	1993-03-23 00:22:59 +00:00
ping.8	changed "Id" to "Header" for rcsids	1993-03-23 00:22:59 +00:00
ping.c	have ping do the right thing, wrt microseconds.	1993-07-22 09:49:57 +00:00