summaryrefslogtreecommitdiff
path: root/gnu/usr.bin/gawk/getopt.c
diff options
context:
space:
mode:
authormycroft <mycroft@NetBSD.org>1993-08-02 17:28:42 +0000
committermycroft <mycroft@NetBSD.org>1993-08-02 17:28:42 +0000
commit2cce313a8b751f32d3d95b2803bcb5e0cac2ccac (patch)
tree481dd98bbea89b18b50fd8dac27502379e5b7709 /gnu/usr.bin/gawk/getopt.c
parent210cab45419b639d07892767d7535c2c7760889d (diff)
Add RCS identifiers, remove some completely useless RCS logs and patchkit
headers, and a few other insignificant changes.
Diffstat (limited to 'gnu/usr.bin/gawk/getopt.c')
-rw-r--r--gnu/usr.bin/gawk/getopt.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/gnu/usr.bin/gawk/getopt.c b/gnu/usr.bin/gawk/getopt.c
index bbf345c33ca..a04c2fa2aab 100644
--- a/gnu/usr.bin/gawk/getopt.c
+++ b/gnu/usr.bin/gawk/getopt.c
@@ -18,6 +18,10 @@
You should have received a copy of the GNU Library General Public
License along with this program; if not, write to the Free Software
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
+
+#ifndef lint
+static char rcsid[] = "$Id: getopt.c,v 1.2 1993/08/02 17:29:44 mycroft Exp $";
+#endif /* not lint */
#ifdef GAWK
#include "config.h"