From 33021618a06a94563d28691940f02a55bd9d358d Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Sat, 16 May 2020 17:07:37 +0200
Subject: Move CoqIDE to its own folder

The will make it possible to put a VsCoq toplevel in `ide/vscoq`.
---
 ide/protocol/dune | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 ide/protocol/dune

(limited to 'ide/protocol/dune')

diff --git a/ide/protocol/dune b/ide/protocol/dune
deleted file mode 100644
index 801ceb20ec..0000000000
--- a/ide/protocol/dune
+++ /dev/null
@@ -1,7 +0,0 @@
-(library
- (name protocol)
- (public_name coqide-server.protocol)
- (wrapped false)
- (libraries coq.lib))
-
-(ocamllex xml_lexer)
-- 
cgit v1.2.3