diff options
| author | Pascal Kuthe | 2022-12-11 10:20:34 +0000 |
|---|---|---|
| committer | GitHub | 2022-12-11 10:20:34 +0000 |
| commit | 70d78123b94d93c801171ac3dd29e2a493feee20 (patch) | |
| tree | f57fc633bca23b9d34f59b2d8e9ff0fbf4e70d57 /book/theme/highlight.js | |
| parent | 0e8ea13696206aa8ad289d539a5df62f34a73dec (diff) | |
properly handle detachted git worktrees (#5097)
Diffstat (limited to 'book/theme/highlight.js')
0 files changed, 0 insertions, 0 deletions