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 - 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