diff options
Diffstat (limited to 'pico/main.c')
-rw-r--r-- | pico/main.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/pico/main.c b/pico/main.c index 11b8d8ba..a80ecb57 100644 --- a/pico/main.c +++ b/pico/main.c @@ -1,7 +1,3 @@ -#if !defined(lint) && !defined(DOS) -static char rcsid[] = "$Id: main.c 1184 2008-12-16 23:52:15Z hubert@u.washington.edu $"; -#endif - /* * ======================================================================== * Copyright 2006-2008 University of Washington |