diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-09 17:51:27 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-09 17:51:27 +0100 |
| commit | be753a40a7fa4c0f8989d23a1b01b2870ba88185 (patch) | |
| tree | faca3b7246d015c33bdc26af3fab5a8a75619506 /modules/modules_builders.py | |
| parent | 64f2b970d8b4d2dec9a7f8047e0b5071cf41acbf (diff) | |
| parent | 078ab7fe05dcf139b7f943937c602b2c9dbdc8e2 (diff) | |
Merge pull request #71118 from RandomShaper/git_worktrees
Support Git worktrees in generation of hash header
Diffstat (limited to 'modules/modules_builders.py')
0 files changed, 0 insertions, 0 deletions