From 5ba6f40a3c3704455bf11696f0d05e8330b0f0ef Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sacha-=C3=89lie=20Ayoun?= <sachaayoun@gmail.com>
Date: Thu, 3 Apr 2025 17:20:32 +0100
Subject: [PATCH] remove useless file
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Sacha-Élie Ayoun <sachaayoun@gmail.com>
---
 src/linol_lsp.ml | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 src/linol_lsp.ml

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