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 /editor/property_selector.h | |
| parent | 2a04b18d37de6c6e621db5a9dfd1cd0da5ccb015 (diff) | |
Support Git worktrees in generation of hash header
Diffstat (limited to 'editor/property_selector.h')
0 files changed, 0 insertions, 0 deletions