diff options
Diffstat (limited to 'libraries/integer-gmp2/gmp/ln')
| -rwxr-xr-x | libraries/integer-gmp2/gmp/ln | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/libraries/integer-gmp2/gmp/ln b/libraries/integer-gmp2/gmp/ln deleted file mode 100755 index a3a297ccdb..0000000000 --- a/libraries/integer-gmp2/gmp/ln +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh -exit 1 - |