bde 3cf88c5b0d Handle slip options in the usual way (generate a dummy options file in ...

the module Makefile and don't clutter the sources with ifdefs).

Fixed nearby formatting bugs.

2000-09-26 18:34:30 +00:00

..

Makefile

Handle slip options in the usual way (generate a dummy options file in

2000-09-26 18:34:30 +00:00