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