perry c6bccee655 Get rid of awk. We don't need it any more, and we can use the space ... better for other things.		1997-06-19 17:28:29 +00:00
..
floppies	Get rid of awk. We don't need it any more, and we can use the space	1997-06-19 17:28:29 +00:00