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)
commit1fc6a5857c55f3ae9bef434d450a2e956a562559
tree3b2cd01c9edd69830042eb403873bcaee8f7d58c
parent390557ef83c0018508ca450f7f3eb3d0e4268f8e
libgmp: Fix README.DELETED

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