naddy ab18dfc652 * fgetc() returns int ... While we're here: * prune useless docs * md5 -> distinfo * some cleanup		2002-02-20 20:59:13 +00:00
..
plor.1		1997-12-20 02:36:06 +00:00