Re: [PATCH v4 17/21] range-diff: populate the man page

2018-08-10 Thread Johannes Schindelin
Hi Thomas, On Sun, 29 Jul 2018, Thomas Gummerer wrote: > On 07/21, Johannes Schindelin via GitGitGadget wrote: > > From: Johannes Schindelin > > > > Documentation/git-range-diff.txt | 229 +++ > > 1 file changed, 229 insertions(+) > > > > [...] > > > > +CONFIGURATI

Re: [PATCH v4 17/21] range-diff: populate the man page

2018-07-29 Thread Thomas Gummerer
On 07/21, Johannes Schindelin via GitGitGadget wrote: > From: Johannes Schindelin > > The bulk of this patch consists of a heavily butchered version of > tbdiff's README written by Thomas Rast and Thomas Gummerer, lifted from Thanks for the mention here, but this was really mostly Thomas Rast's

[PATCH v4 17/21] range-diff: populate the man page

2018-07-21 Thread Johannes Schindelin via GitGitGadget
From: Johannes Schindelin The bulk of this patch consists of a heavily butchered version of tbdiff's README written by Thomas Rast and Thomas Gummerer, lifted from https://github.com/trast/tbdiff. Signed-off-by: Johannes Schindelin --- Documentation/git-range-diff.txt | 229 +++