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/Make | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 ide/Make

(limited to 'ide/Make')

diff --git a/ide/Make b/ide/Make
deleted file mode 100644
index c0881ca392..0000000000
--- a/ide/Make
+++ /dev/null
@@ -1,6 +0,0 @@
-interface.mli
-xmlprotocol.mli
-xmlprotocol.ml
-ide_slave.ml
-
-coqidetop.mllib
-- 
cgit v1.2.3