wollman 712b493c14 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
..
1995-12-26 13:25:13 +00:00
1996-06-11 17:22:51 +00:00