diff options
| author | mycroft <mycroft@NetBSD.org> | 1993-08-02 17:28:42 +0000 |
|---|---|---|
| committer | mycroft <mycroft@NetBSD.org> | 1993-08-02 17:28:42 +0000 |
| commit | 2cce313a8b751f32d3d95b2803bcb5e0cac2ccac (patch) | |
| tree | 481dd98bbea89b18b50fd8dac27502379e5b7709 /gnu/usr.bin/gawk/getopt.c | |
| parent | 210cab45419b639d07892767d7535c2c7760889d (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.c | 4 |
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" |
