Skip to content
Snippets Groups Projects
Tim-Philipp Müller's avatar
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: default avatarRalph Giles <giles@thaumas.net>
61747bc6
History
Name Last commit Last update
..
get-version.py
read-sources-list.py