Eivind Eklund 47cfdb166d Turn DIAGNOSTIC into a new-style option.		1998-02-04 22:34:03 +00:00
..
cd9660	Turn DIAGNOSTIC into a new-style option.	1998-02-04 22:34:03 +00:00