Hi Thomas,
On Mon, 8 Jul 2019, Thomas Gummerer wrote:
> On 07/05, Johannes Schindelin wrote:
>
> > >*/
> > > continue;
> > > else if (line[0] == '>') {
> > > diff --git a/t/t3206-range-diff.sh b/t/t3206-range-diff.sh
> > > index 9f89af7178..c2777560
On 07/05, Johannes Schindelin wrote:
> > range-diff.c | 35
> > t/t3206-range-diff.sh | 91 +++---
> > t/t3206/history.export | 84 --
> > 3 files changed, 193 insertions(+), 17 deletions(-)
> >
> >
Hi Thomas,
On Fri, 5 Jul 2019, Thomas Gummerer wrote:
> Currently range-diff keeps the diff header of the inner diff
> intact (apart from stripping lines starting with index). This diff
> header is somewhat useful, especially when files get different
> names in different ranges.
>
> However ther
Currently range-diff keeps the diff header of the inner diff
intact (apart from stripping lines starting with index). This diff
header is somewhat useful, especially when files get different
names in different ranges.
However there is no real need to keep the whole diff header for that.
The main
4 matches
Mail list logo
