aboutsummaryrefslogtreecommitdiff
path: root/settings.json
diff options
context:
space:
mode:
Diffstat (limited to 'settings.json')
-rw-r--r--settings.json16
1 files changed, 16 insertions, 0 deletions
diff --git a/settings.json b/settings.json
index bf6c978..c40e249 100644
--- a/settings.json
+++ b/settings.json
@@ -246,5 +246,21 @@
"npm"
]
}
+ ],
+ "plaintex": [
+ {
+ "command": "digestif",
+ "requires": [
+ "luarocks"
+ ]
+ }
+ ],
+ "tex": [
+ {
+ "command": "digestif",
+ "requires": [
+ "luarocks"
+ ]
+ }
]
}