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