From 90d710b2aee89c5ec92c06c9938ea4f886c11eee Mon Sep 17 00:00:00 2001
From: Andrey Ruzhanskiy <andrey.ruzhanskiy@tu-dresden.de>
Date: Wed, 4 Sep 2019 15:56:54 +0200
Subject: [PATCH] Escape char fixed for :

---
 src/main/resources/mapping/kurzschrift_DE.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/resources/mapping/kurzschrift_DE.properties b/src/main/resources/mapping/kurzschrift_DE.properties
index c7345e74..ccd3d856 100644
--- a/src/main/resources/mapping/kurzschrift_DE.properties
+++ b/src/main/resources/mapping/kurzschrift_DE.properties
@@ -18,7 +18,7 @@
 ?=010001
 .=001000
 ,=010000
-:=010010
+\:=010010
 -=001001
 ß=011101
 '=000001
-- 
GitLab