diff options
| author | Michael Davis | 2023-10-25 16:08:46 +0000 |
|---|---|---|
| committer | GitHub | 2023-10-25 16:08:46 +0000 |
| commit | 2ebcc4dbeb306cc285d47bd1d21d72c7e57ecb72 (patch) | |
| tree | 9318b48fde81408d17ceb3b94e548caa8bef5181 /contrib | |
| parent | b5d691a5d7e791f9b9581d96217f80ea10a6f2ca (diff) | |
Pin tree-sitter to the 0.20.10 release (#8396)
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions