Files

 main

/

tree-sitter-lean

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

bonede

clean up build scripts

Dec 8, 2024

756fae9 · Dec 8, 2024

History

History

This branch is 24 commits ahead of, 4 commits behind bonede/tree-sitter-ng:main.

/

tree-sitter-lean

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
src		src	api changes	May 2, 2024
build.gradle		build.gradle	clean up build scripts	Dec 8, 2024
gradle.properties		gradle.properties	clean up build scripts	Dec 8, 2024
View all files