From a2ecb8f82718ba409a1ae2168fae3a75523a898c Mon Sep 17 00:00:00 2001
From: Arne Goedeke <el@laramies.com>
Date: Mon, 24 Feb 2014 14:34:02 +0100
Subject: [PATCH] whitespace: removed extra escape
---
bin/getwhitespace.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bin/getwhitespace.sh b/bin/getwhitespace.sh
index 213b16f5ce..253f186e11 100755
--- a/bin/getwhitespace.sh
+++ b/bin/getwhitespace.sh
@@ -4,7 +4,7 @@ echo "/* File generated on `date`
by getwhitespace <UnicodeData.txt */
#define SPACECASE8 \\
- case ' ':case '\\\\t':case '\\\\r':case '\\\\n':case '\\\\v':case '\\\\f': \\
+ case ' ':case '\\t':case '\\r':case '\\n':case '\\v':case '\\f': \\
case 0x85:case 0xa0:
"
--
GitLab