eivind 712a1e61e7 Make the debug options new-style.
This also zaps a DPT option from lint; it wasn't referenced from
anywhere.
1998-01-31 07:23:16 +00:00
..
1998-01-31 07:23:16 +00:00
1997-09-21 21:38:54 +00:00