diff options
Diffstat (limited to 'gnu/usr.bin/patch/pch.c')
| -rw-r--r-- | gnu/usr.bin/patch/pch.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gnu/usr.bin/patch/pch.c b/gnu/usr.bin/patch/pch.c index c9dde92baaa4e..54f9cd684e77b 100644 --- a/gnu/usr.bin/patch/pch.c +++ b/gnu/usr.bin/patch/pch.c @@ -1,6 +1,9 @@ -/* $Header: /home/ncvs/src/gnu/usr.bin/patch/pch.c,v 1.6 1995/09/14 04:33:35 gibbs Exp $ +/* $Header: /home/ncvs/src/gnu/usr.bin/patch/pch.c,v 1.5.4.1 1995/09/17 06:39:59 davidg Exp $ * * $Log: pch.c,v $ + * Revision 1.5.4.1 1995/09/17 06:39:59 davidg + * Brought in changes from rev 1.6: Give 'Index:' priority over other paths. + * * Revision 1.6 1995/09/14 04:33:35 gibbs * Give "Index" specified filenames preference over other filenames specified * in the diff. This makes it so that diffs containing files in different |