Removing ale

2025-06-01 23:20:42 +02:00
parent a7c86e74b1
commit 6d16c65e7b
8 changed files with 102 additions and 105 deletions
--- a/lua/plugins/none-ls.lua
+++ b/lua/plugins/none-ls.lua
@@ -19,6 +19,7 @@ return {
 				"checkmake", -- linter for Makefiles
 				"ruff", -- Python linter and formatter
 				"clangd",
+				"ocamlformat",
 			},
 			automatic_installation = true,
 		})