Philippe Waroquiers f72dce36da auxprogs/make_or_upd_vgversion_h : accept a git worktree as a git dir
A directory can be a git directory in 2 cases:
  * it is a git repository, checked with -d .git
  + it is a git worktree directory (see git help worktree)

Modify auxprogs/make_or_upd_vgversion_h so that it detects worktree directory
and produces a correct git version for --version -v
2018-03-11 15:12:54 +01:00
..