diff options
Diffstat (limited to 'pith/osdep/domnames.c')
-rw-r--r-- | pith/osdep/domnames.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/pith/osdep/domnames.c b/pith/osdep/domnames.c index aa2d917f..d244d9f5 100644 --- a/pith/osdep/domnames.c +++ b/pith/osdep/domnames.c @@ -1,7 +1,3 @@ -#if !defined(lint) && !defined(DOS) -static char rcsid[] = "$Id: domnames.c 1176 2008-09-29 21:16:42Z hubert@u.washington.edu $"; -#endif - /* * ======================================================================== * Copyright 2013-2021 Eduardo Chappa |