diff options
| author | withmorten <morten.with@gmail.com> | 2021-06-25 19:51:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-25 19:51:45 +0200 |
| commit | 4bab6d5356fe62c2166dbabc504792a510df7819 (patch) | |
| tree | 223156c86b9c30d3bd1977684a83f123470b309e /src/peds | |
| parent | 2b67aba94cb6448fb24c869559465eddf2bad069 (diff) | |
| parent | 84fb48825d509247aaf25c8cd5936d23d7dd9e2c (diff) | |
Merge pull request #1147 from withmorten/githash
add no-git-hash option to premake
Diffstat (limited to 'src/peds')
0 files changed, 0 insertions, 0 deletions