TerminalEmulator.command
Copyright Ó 1989, 1990, 1992 by Xerox Corporation. All rights reserved.
Mike Spreitzer December 15, 1986 6:56:35 pm PST
Last tweaked by Mike Spreitzer on November 24, 1987 1:52:25 pm PST
Norman Adams, March 1, 1990 2:16 pm PST
Willie-s, June 12, 1992 2:53 pm PDT