diff options
author | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2023-01-09 17:36:22 +0100 |
---|---|---|
committer | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2023-01-09 17:36:22 +0100 |
commit | 078ab7fe05dcf139b7f943937c602b2c9dbdc8e2 (patch) | |
tree | 00e942093c541c07e250ef81b110771244dc24ac /thirdparty/misc/mikktspace.h | |
parent | 2a04b18d37de6c6e621db5a9dfd1cd0da5ccb015 (diff) |
Support Git worktrees in generation of hash header
Diffstat (limited to 'thirdparty/misc/mikktspace.h')
0 files changed, 0 insertions, 0 deletions