1
2
3
4
5
6
7
8

/*
 * Copyright 2001 Sun Microsystems, Inc.  All rights reserved.
 * Use is subject to license terms.
 */

#ifndef lint
static char patchlevel[] = "@(#) patchlevel 7.6 97/03/21 19:27:23";
#endif