diff options
Diffstat (limited to 'settings.json')
-rw-r--r-- | settings.json | 16 |
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" + ] + } ] } |