Merge branch 'make-git-dependency-optional' into 'master'
authorThomas Debesse <dev@illwieckz.net>
Tue, 15 Feb 2022 22:08:33 +0000 (22:08 +0000)
committerThomas Debesse <dev@illwieckz.net>
Tue, 15 Feb 2022 22:08:33 +0000 (22:08 +0000)
Make git dependency optional if GIT_VERSION is set

See merge request xonotic/netradiant!191


Trivial merge