This is version 1.2 of a simple utility which makes it possible to
use the mouse in a different port to the default.

This is _very_ useful when you break a pin off your mouse port, like
me :-)

Includes C source. Shell only.

 PERMSSN    UID  GID    PACKED    SIZE  RATIO     CRC       STAMP          NAME
---------- ----------- ------- ------- ------ ---------- ------------ -------------
[generic]                  262     628  41.7% -lh5- b348 Feb 17  1996 PortSwitch/Documentation.info
[generic]                 3063    7695  39.8% -lh5- a25d Feb 17  1996 PortSwitch/Documentation/PortSwitch.Doc
[generic]                  253     839  30.2% -lh5- 39c0 Feb 17  1996 PortSwitch/Documentation/PortSwitch.Doc.info
[generic]                 3393    9024  37.6% -lh5- 974e Feb 17  1996 PortSwitch/Documentation/PortSwitch.Guide
[generic]                  272     857  31.7% -lh5- ad94 Feb 17  1996 PortSwitch/Documentation/PortSwitch.Guide.info
[generic]                 4763    7524  63.3% -lh5- 92a9 Feb 19  1996 PortSwitch/PortSwitch
[generic]                  394     831  47.4% -lh5- ffdf Feb 17  1996 PortSwitch/PortSwitch.info
[generic]                  269     628  42.8% -lh5- a7f2 Feb 17  1996 PortSwitch/Source.info
[generic]                 2020    6484  31.2% -lh5- b728 Feb 19  1996 PortSwitch/Source/PortSwitch.C
[generic]                  252     839  30.0% -lh5- def2 Feb 17  1996 PortSwitch/Source/PortSwitch.C.info
[generic]                  264     628  42.0% -lh5- 5592 Feb 17  1996 PortSwitch.info
---------- ----------- ------- ------- ------ ---------- ------------ -------------
 Total        11 files   15205   35977  42.3%            Mar 19  1996