Wolfram Schneider e83201b43a delete doubled words, e.g.: "the the" -> "the"		1996-10-05 22:27:30 +00:00
..
Makefile
ping.8	delete doubled words, e.g.: "the the" -> "the"	1996-10-05 22:27:30 +00:00
ping.c