aboutsummaryrefslogtreecommitdiff
path: root/languages.toml
diff options
context:
space:
mode:
authorFrans Skarman2023-10-26 23:32:49 +0000
committerGitHub2023-10-26 23:32:49 +0000
commit9eec9adb8fb299ea57dc6fa13f0c5d789dcdff73 (patch)
tree64fc3562d8513ba98148334fb039bb5ab5886563 /languages.toml
parent290666011971c79e36b5172eea66b315dc52e2c9 (diff)
Add LPF tree sitter (#8536)
Co-authored-by: Michael Davis <mcarsondavis@gmail.com>
Diffstat (limited to 'languages.toml')
-rw-r--r--languages.toml12
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"