From d7728ba3caf5d837a57fce9e0454e35ce033e11b Mon Sep 17 00:00:00 2001 From: Dave Stanke Date: Mon, 14 Jan 2019 12:38:57 -0500 Subject: [PATCH] Remove spurious character --- tools/insert_git_commit_link.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/insert_git_commit_link.sh b/tools/insert_git_commit_link.sh index 900d8bf..44d8a0d 100755 --- a/tools/insert_git_commit_link.sh +++ b/tools/insert_git_commit_link.sh @@ -4,7 +4,7 @@ if [[ "$COMMIT_SHA" && "$SHORT_SHA" ]]; then target="" replace=" [${SHORT_SHA}]#" + style='font-size:80%'>${SHORT_SHA}]" sed -i'' -e "s^$target^$replace^g" src/frontend/templates/footer.html