From bf7f41c45ec61c7974cd7513b7e02dcc6fdaf6c4 Mon Sep 17 00:00:00 2001
From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 9 Nov 2010 19:05:50 +0100
Subject: [PATCH] Make <bash> smaller

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
---
 upload.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/upload.sh b/upload.sh
index e3d5f6803a..04ace8e9bd 100755
--- a/upload.sh
+++ b/upload.sh
@@ -207,7 +207,7 @@ markup_substitution () {
 }
 
 space80='                          '
-space80="$space80$space80$space80  "
+space80="$space80$space80  "
 # transform markup in stdin to HTML
 markup () {
 	case "$*" in
-- 
2.11.4.GIT