Garrett Wollman 94b2b83ad5 Refer to the ASCII character 000 by its proper name, `NUL', and not
`NULL' (which should only be used in reference to null pointers).  Also
fix a cross-reference.
1996-07-25 18:31:08 +00:00
..
1996-05-07 23:19:49 +00:00
1996-05-07 23:19:49 +00:00
1996-02-12 12:40:04 +00:00
1996-07-04 00:55:21 +00:00
1996-02-12 12:40:04 +00:00
1996-05-07 23:19:49 +00:00
1996-05-07 23:19:49 +00:00
1996-07-24 20:55:38 +00:00
1995-12-30 19:02:48 +00:00
1996-05-07 23:19:49 +00:00
1994-05-27 05:00:24 +00:00
1996-06-26 17:48:13 +00:00