@withmorten
withmorten Merge pull request #1148 from withmorten/miami-githash
c869602 Jun 25, 2021
Merge pull request #1148 from withmorten/miami-githash 
miami: add no-git-hash option to premake
c869602