From 363aa87edbc9438335ababecd9feeeab30296803 Mon Sep 17 00:00:00 2001
From: Martin Schroschk <martin.schroschk@tu-dresden.de>
Date: Thu, 23 Mar 2023 10:54:41 +0100
Subject: [PATCH] Tab instead of space

---
 doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh b/doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh
index ff1428f0d..e8cd43a27 100755
--- a/doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh
+++ b/doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh
@@ -38,7 +38,7 @@ Do not use \"up-to-date\", because this should be an inherent property of this g
 
 i	\(\<up-to-date\>\|up to date\)
 Replace \"todo\" with real content.
-doc.zih.tu-dresden.de/docs/archive/system_triton.md doc.zih.tu-dresden.de/docs/contrib/howto_contribute.md
+doc.zih.tu-dresden.de/docs/archive/system_triton.md	doc.zih.tu-dresden.de/docs/contrib/howto_contribute.md
 i	\<todo\>	<!--.*todo.*-->
 Replace variations of \"Coming soon\" with real content.
 
-- 
GitLab