diff options
author | Frans Skarman | 2023-10-26 23:32:49 +0000 |
---|---|---|
committer | GitHub | 2023-10-26 23:32:49 +0000 |
commit | 9eec9adb8fb299ea57dc6fa13f0c5d789dcdff73 (patch) | |
tree | 64fc3562d8513ba98148334fb039bb5ab5886563 /languages.toml | |
parent | 290666011971c79e36b5172eea66b315dc52e2c9 (diff) |
Add LPF tree sitter (#8536)
Co-authored-by: Michael Davis <mcarsondavis@gmail.com>
Diffstat (limited to 'languages.toml')
-rw-r--r-- | languages.toml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/languages.toml b/languages.toml index a6c9d556..d8207b3e 100644 --- a/languages.toml +++ b/languages.toml @@ -934,6 +934,18 @@ indent = { tab-width = 2, unit = " " } name = "lean" source = { git = "https://github.com/Julian/tree-sitter-lean", rev = "d98426109258b266e1e92358c5f11716d2e8f638" } + +[[language]] +name = "lpf" +comment-token = "#" +scope = "source.lpf" +file-types = ["lpf"] +roots = [] + +[[grammar]] +name = "lpf" +source = { git = "https://gitlab.com/TheZoq2/tree-sitter-lpf", rev = "db7372e60c722ca7f12ab359e57e6bf7611ab126" } + [[language]] name = "julia" scope = "source.julia" |