diff --git a/gmp-6.2.1/tune/1 b/gmp-6.2.1/tune/1 deleted file mode 100644 index d00491fd..00000000 --- a/gmp-6.2.1/tune/1 +++ /dev/null @@ -1 +0,0 @@ -1