Rémi Verschelde 9a71038e34 Add script to make source tarball with .git/HEAD ... This allows to generate the `VERSION_HASH` constant with the Git commit hash even when building from a source tarball which is not a Git repository (and without dependency on Git itself).		2021-07-29 11:52:43 +02:00
..
ci	CI: Refactor Android workflow, use pre-installed SDK and NDK	2020-10-22 17:21:59 +02:00
dist	Fix various typos with codespell	2021-07-25 11:21:51 +02:00
hooks	Allow clang-format 12 in the pre-commit hook	2021-06-07 16:59:52 +02:00
scripts	Add script to make source tarball with .git/HEAD	2021-07-29 11:52:43 +02:00