# Copyright (C) 1990, Digital Equipment Corporation.
# All rights reserved.
# See the file COPYRIGHT for a full description.

# Last modified on Thu Jan  4 02:31:36 1990 by muller