libgmp: Fix README.DELETED
authorJohn Marino <draco@marino.st>
Sat, 5 Nov 2011 21:39:58 +0000 (22:39 +0100)
committerJohn Marino <draco@marino.st>
Sat, 5 Nov 2011 21:39:58 +0000 (22:39 +0100)
An experimental README.DELETED was committed.  Currently the x86 and
x86_64 files are not vendor branch, so their directories should not have
been removed before.

contrib/gmp/README.DELETED

index ee9c2dc..2fe03c9 100644 (file)
@@ -61,6 +61,8 @@ mpn/sparc32/
 mpn/sparc64/
 mpn/thumb/
 mpn/vax/
+mpn/x86/
+mpn/x86_64/
 mpn/z8000/
 mpn/z8000x/
 mpq/Makefile.am