diff options
Diffstat (limited to 'pico/basic.c')
| -rw-r--r-- | pico/basic.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/pico/basic.c b/pico/basic.c index 450063f2..c39001d5 100644 --- a/pico/basic.c +++ b/pico/basic.c @@ -1,7 +1,3 @@ -#if !defined(lint) && !defined(DOS) -static char rcsid[] = "$Id: basic.c 831 2007-11-27 01:04:19Z hubert@u.washington.edu $"; -#endif - /* * ======================================================================== * Copyright 2006-2007 University of Washington |