On 3/1/24 3:51 AM, Bruno Haible wrote:
> Interesting. One can use 'git diff --no-index' even outside a git repository.
> Is there any significant advantage of 'git diff --no-index' over
> 'diff -u --color'?
I mostly type it out of habit to be honest. Not sure why I started
using it. My git diff se
Collin Funk wrote:
> Follow gnulib-tool change
> 2017-03-14 Mathieu Lirzin
> gnulib-tool: don't automatically distribute files from top/
Thanks. Applied.
> git diff --no-index test-python/gllib/Makefile.am test-shell/gllib/Makefile.am
Interesting. One can use 'git diff --no-index' even outsid
