Søren Schmidt a2a0e15a82 Changed header sligthly.		1994-09-29 08:31:39 +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	Changed header sligthly.	1994-09-29 08:31:39 +00:00
mouse.h	Added the psm driver from 1.1.5.	1994-09-09 11:27:50 +00:00