.git/config is just an INI file and the lexer for INI is acutally better so... deleting.

This commit is contained in:
Jesse Portnoy
2023-07-17 14:10:26 +01:00
parent 90e6641fc5
commit d9ba8dbabb
-14
View File
@@ -1,14 +0,0 @@
filetype: git-config
detect:
filename: "git(config|modules)$|\\.git/config$"
rules:
- constant: "\\<(true|false)\\>"
- keyword: "^[[:space:]]*[^=]*="
- constant: "^[[:space:]]*\\[.*\\]$"
- constant: "\"(\\\\.|[^\"])*\"|'(\\\\.|[^'])*'"
- comment:
start: "#"
end: "$"
rules: []