Christoph Robitschko 52fda4247e Make the screen savers runtime switchable. Everybody wants a ...

different default saver, and the size increase in the kernel is
minimal ( < 2.5K ).

1994-02-04 10:36:15 +00:00

..

pc

Removed all patch kit headers, sccsid and rcsid strings, put $Id$ in, some

1993-10-16 14:40:57 +00:00

console.h

Make the screen savers runtime switchable. Everybody wants a

1994-02-04 10:36:15 +00:00