diff options
| author | Michael Davis | 2023-03-07 02:46:46 +0000 |
|---|---|---|
| committer | GitHub | 2023-03-07 02:46:46 +0000 |
| commit | 136d1164e06c8ae6f23d611e8fcc2c3e53b9bd80 (patch) | |
| tree | 6001f2bf74a68967131a46f78a0c32e2ea32d1cd /default.nix | |
| parent | 84be5cd52c61a53f8d47be60b33bbaaed63652e6 (diff) | |
Pin tree-sitter at git master (#6218)
Tree-sitter has some unreleased improvements that can speed up small
queries and prevent hangs due to error recovery in some parsers. This
change pins tree-sitter to the latest master.
Neovim also pins tree-sitter to a commit on master.
Diffstat (limited to 'default.nix')
0 files changed, 0 insertions, 0 deletions