From 8018e923c75eb5504310864f821972f794b7d554 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Wed, 13 Feb 2019 20:40:51 -0500 Subject: New upstream version 8.8.0+1.gbp069dc3b --- Make | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 Make (limited to 'Make') diff --git a/Make b/Make deleted file mode 100644 index 3804332..0000000 --- a/Make +++ /dev/null @@ -1,23 +0,0 @@ --I . --R . AAC_tactics - -coq.mli -helper.mli -search_monad.mli -matcher.mli -theory.mli -print.mli -aac_rewrite.mli -coq.ml -helper.ml -search_monad.ml -matcher.ml -theory.ml -print.ml -aac_rewrite.ml4 -aac.mlpack - -AAC.v -Instances.v -Tutorial.v -Caveats.v -- cgit v1.2.3