Rémi Verschelde 91d29ddcfb 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). (cherry picked from commit 9a71038e34)		2021-08-03 10:20:18 +02:00
..
ci	CI: Refactor Android workflow, use pre-installed SDK and NDK	2020-10-23 13:27:44 +02:00
dist	Properly tag project files as a subclass of plain text in the MIME info	2021-08-03 09:15:33 +02:00
hooks	Allow clang-format 12 in the pre-commit hook	2021-06-07 22:36:31 +02:00
scripts	Add script to make source tarball with `.git/HEAD`	2021-08-03 10:20:18 +02:00