diff options
| author | mycroft <mycroft@NetBSD.org> | 1993-08-02 17:18:41 +0000 |
|---|---|---|
| committer | mycroft <mycroft@NetBSD.org> | 1993-08-02 17:18:41 +0000 |
| commit | 210cab45419b639d07892767d7535c2c7760889d (patch) | |
| tree | d3d64a74050e5e5d63dbc3462fd72047f58f93a3 /gnu/usr.bin/diff/diff.c | |
| parent | 02ded53222c7a2429d64b5aa8056a5e096ae9c6e (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/diff/diff.c')
| -rw-r--r-- | gnu/usr.bin/diff/diff.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gnu/usr.bin/diff/diff.c b/gnu/usr.bin/diff/diff.c index e4eb66f82dd..3fc2e5f69ae 100644 --- a/gnu/usr.bin/diff/diff.c +++ b/gnu/usr.bin/diff/diff.c @@ -17,6 +17,10 @@ You should have received a copy of the GNU General Public License along with GNU DIFF; see the file COPYING. If not, write to the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */ +#ifndef lint +static char rcsid[] = "$Id: diff.c,v 1.3 1993/08/02 17:26:08 mycroft Exp $"; +#endif /* not lint */ + /* GNU DIFF was written by Mike Haertel, David Hayes, Richard Stallman, Len Tower, and Paul Eggert. */ |
