From d9c1c85d3068e8c39b915c406f2234b5ff37cf9b Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 23 Aug 2016 15:14:12 -0500
Subject: [PATCH] cleanup

---
 DisabledFeatures.txt | 2 --
 EnabledFeatures.txt  | 2 --
 2 files changed, 4 deletions(-)
 delete mode 100644 DisabledFeatures.txt
 delete mode 100644 EnabledFeatures.txt

diff --git a/DisabledFeatures.txt b/DisabledFeatures.txt
deleted file mode 100644
index 5c86c4094..000000000
--- a/DisabledFeatures.txt
+++ /dev/null
@@ -1,2 +0,0 @@
-   * Threads Support  <http://www.gnu.org/software/threads>
-     GNU Threads Library (or similar)
diff --git a/EnabledFeatures.txt b/EnabledFeatures.txt
deleted file mode 100644
index 51f3db8ac..000000000
--- a/EnabledFeatures.txt
+++ /dev/null
@@ -1,2 +0,0 @@
-   * GNU libgmp (in some cases MPIR - GNU big integers and rationals
-   * libreadline - Readline line editing library