auto-version.in: Don't insist that `.git' is a directory.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 22 Jul 2017 10:35:55 +0000 (11:35 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 7 May 2020 19:33:33 +0000 (20:33 +0100)
Nowadays, `git worktree' can cause this to be a regular file instead,
and it's a shame if we can't spot it properly.

(cherry picked from commit e3bf207c8bde1191c3850debd27ac604305bff31)


No differences found