Subject: Re: What terminal does SHARK GENERIC console emulate?
To: Jeremy Cooper <jeremy@simon.sfsu.edu>
From: Ted Lemon <mellon@isc.org>
List: port-arm32
Date: 01/07/2000 00:04:24
It's "pc3".

			       _MelloN_