diff --git a/libraries/ghc-bignum/gmp/ln b/libraries/ghc-bignum/gmp/ln deleted file mode 100755 index a3a297ccdbe92d35ba56dcf099ba37b4e1ccdb57..0000000000000000000000000000000000000000 --- a/libraries/ghc-bignum/gmp/ln +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh -exit 1 -