Tim-Philipp Müller
authored
For git worktree directories .git is not a directory
but a file that points to the real .git dir.
The `update_version` script used by other builds
works correctly with git worktrees.
Signed-off-by:
Ralph Giles <giles@thaumas.net>
Name | Last commit | Last update |
---|---|---|
.. | ||
get-version.py | ||
read-sources-list.py |