Remove extern/gmp-5.0.5.tar.gz

This is no longer needed.
hulpke · Dec 18, 2015 · d2f7113 · d2f7113
1 parent 469ffe5
commit d2f7113
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/extern/gmp-5.0.5.tar.gz b/extern/gmp-5.0.5.tar.gz