From e1af134ea32b8cb0a672d8257f76e5095036e95d Mon Sep 17 00:00:00 2001 From: Jeff LANCE Date: Tue, 5 Mar 2024 22:11:01 +0100 Subject: [PATCH] Update home/.config/lvim/lua/user/plugins.lua --- home/dot_config/lvim/lua/user/plugins.lua | 2 ++ 1 file changed, 2 insertions(+) diff --git a/home/dot_config/lvim/lua/user/plugins.lua b/home/dot_config/lvim/lua/user/plugins.lua index 20d67d6..79f9557 100644 --- a/home/dot_config/lvim/lua/user/plugins.lua +++ b/home/dot_config/lvim/lua/user/plugins.lua @@ -146,6 +146,8 @@ M.setup = function() local mason = require('mason-tool-installer') mason.setup({ ensure_installed = { + 'ocaml-lsp', + 'ocamlformat', 'xo', 'textlint', 'yamllint',