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>
Sat, 28 Mar 2020 14:20:48 +0000 (14:20 +0000)
Nowadays, `git worktree' can cause this to be a regular file instead,
and it's a shame if we can't spot it properly.


No differences found