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 /doc/classes/JavaClass.xml | |
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 'doc/classes/JavaClass.xml')
0 files changed, 0 insertions, 0 deletions