From 6771de0510415071eeddf46e698ff6ba5234583d Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Fri, 3 Jul 2020 19:55:38 +0200
Subject: [PATCH] Remove redundant whitespace.

---
 update.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/update.sh b/update.sh
index 11bfb0f..57ecf89 100755
--- a/update.sh
+++ b/update.sh
@@ -15,7 +15,7 @@ today="$(date +%Y-%m-%d)"
 curl "${CSV_URL}" \
 | awk 'BEGIN { FS=";"; ORS=""; print "'${today}'" }; '\
 '!/^Bezirk/ { printf "%4d", $3 }; '\
-'END { printf "\n" }' "${filename}" >> "${table_path}" 
+'END { printf "\n" }' "${filename}" >> "${table_path}"
 
 # Write enhanced table output to directory served by web server.
 ./enhance_table.py "${table_path}" txt > /var/www/html/berlin_corona.txt
-- 
2.30.2