Subject: Re: mouse drivers for Gateway 2000, which one?
To: None <>
From: Charles M. Hannum <>
List: current-users
Date: 09/03/1994 11:29:17
   Note that regardless of which kernel driver you use, you should
   tell the kernel it's a MouseSystems mouse.

I meant to say `you should tell the *X server* it's a MouseSystems