diff --git a/src/linol_lsp.ml b/src/linol_lsp.ml deleted file mode 100644 index 68ffa06e..00000000 --- a/src/linol_lsp.ml +++ /dev/null @@ -1,2 +0,0 @@ -module Lsp0 = Lsp -module Jsonrpc0 = Jsonrpc \ No newline at end of file