diff options
Diffstat (limited to 'pith/pipe.c')
| -rw-r--r-- | pith/pipe.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/pith/pipe.c b/pith/pipe.c index 4d7e6149..601a142d 100644 --- a/pith/pipe.c +++ b/pith/pipe.c @@ -1,6 +1,3 @@ -#if !defined(lint) && !defined(DOS) -static char rcsid[] = "$Id: pipe.c 761 2007-10-23 22:35:18Z hubert@u.washington.edu $"; -#endif /* * ======================================================================== * Copyright 2013-2021 Eduardo Chappa |