diff options
Diffstat (limited to 'pico/window.c')
| -rw-r--r-- | pico/window.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/pico/window.c b/pico/window.c index 7187e16f..0f9ac0b9 100644 --- a/pico/window.c +++ b/pico/window.c @@ -1,6 +1,3 @@ -#if !defined(lint) && !defined(DOS) -static char rcsid[] = "$Id: window.c 761 2007-10-23 22:35:18Z hubert@u.washington.edu $"; -#endif /* * ======================================================================== * Copyright 2006 University of Washington |