From cb357f97033a71c13d8caeb5902e7fc892cd9feb Mon Sep 17 00:00:00 2001 From: "Ya-wen, Jeng" Date: Fri, 31 Jan 2025 09:18:09 +0800 Subject: [PATCH] chore: remove unused line --- build_gmp.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/build_gmp.sh b/build_gmp.sh index 457219d..a11ab98 100755 --- a/build_gmp.sh +++ b/build_gmp.sh @@ -1,4 +1,3 @@ - #!/usr/bin/env bash set -e