diff options
| author | Ivan Tham | 2021-11-25 02:07:23 +0000 |
|---|---|---|
| committer | GitHub | 2021-11-25 02:07:23 +0000 |
| commit | 67bf4250caf14d3a632abdbfa367c04b318d782c (patch) | |
| tree | 23a012baabf11214c7b235ca7a9ab8ee777b9f3e /helix-syntax/languages/tree-sitter-agda | |
| parent | e8f800a141af11b4f2f4c838cd4fd1f8aa7fa971 (diff) | |
Optimize space for DocumentId with NonZeroUsize (#1097)
Now Option<DocumentId> uses one byte rather than two
Diffstat (limited to 'helix-syntax/languages/tree-sitter-agda')
0 files changed, 0 insertions, 0 deletions