[PATCH 1/3] Makefile.local: set IS_GIT = yes when regular file $srcdir/.git exists
David Bremner
david at tethera.net
Sat Jun 11 09:25:50 PDT 2016
Tomi Ollila <tomi.ollila at iki.fi> writes:
> $srcdir/.git may also be file. E.g. `git worktree` creates .git file
> while new working tree is populated.
pushed the first patch only
d
More information about the notmuch
mailing list