christos 8b132ea145 - (void) casts.
- fix off-by-one bug in fgets()
- don't make the file unbuffered.
1998-11-24 22:19:01 +00:00
..
1998-11-24 11:14:54 +00:00
1998-11-24 22:19:01 +00:00