From 7e7d0d67de8285e1d6c589750191bce4f49aacb3 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Oct 2022 09:16:46 +0200
Subject: Reorganize a bit the project

---
 dune-project | 24 ------------------------
 1 file changed, 24 deletions(-)
 delete mode 100644 dune-project

(limited to 'dune-project')

diff --git a/dune-project b/dune-project
deleted file mode 100644
index f8b418f2..00000000
--- a/dune-project
+++ /dev/null
@@ -1,24 +0,0 @@
-(lang dune 2.8)
-
-(name aeneas)
-
-(version 0.1)
-
-(generate_opam_files true)
-
-(formatting)
-
-(source
- (uri git+https://github.com/AeneasVerif/aeneas.git))
-
-(homepage "https://github.com/AeneasVerif/aeneas")
-
-(bug_reports "https://github.com/AeneasVerif/aeneas/issues")
-
-(authors
-  "Son Ho"
-  "Jonathan Protzenko"
-  "Aymeric Fromherz"
-  "Sidney Congard")
-
-(license Apache-2.0)
\ No newline at end of file
-- 
cgit v1.2.3