1 files changed, 0 insertions, 19 deletions
diff --git a/mpi-patches/series b/mpi-patches/series
deleted file mode 100644
index 84d76abd..00000000
--- a/mpi-patches/series
+++ /dev/null
@@ -1,19 +0,0 @@
-disable-make
-config-types
-fix-warnings
-use-txr-allocator
-add-mp-set-intptr
-export-mp-eq
-add-mp-hash
-add-mpi-toradix-with-case
-fix-mult-bug
-mpi-set-mpi-word
-mpi-set-double-intptr
-fix-bad-shifts
-bit-search-optimizations
-shrink-mpi-int
-faster-square-root
-mpi-to-double
-fix-ctype-warnings
-add-bitops
-eliminate-locale-dependencies