From a31ed67a51e4c1bc235a7a1acb64f6c9a974b31a Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Fri, 3 May 2019 09:02:55 +0200
Subject: [PATCH] German translation update

---
 HISTORY.md        | 1 +
 locale/lang-de.js | 6 +++++-
 snap.html         | 2 +-
 src/locale.js     | 4 ++--
 4 files changed, 9 insertions(+), 4 deletions(-)

diff --git a/HISTORY.md b/HISTORY.md
index dc506f1d..6099dcb2 100755
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -81,6 +81,7 @@
 * Blocks: reverted reordering MY block dropdown by data type - back to similarities
 * Blocks: added "compile / un-compile" options to HOF-prims
 * Objects: added relabelling options for HOF-prims
+* German translation update
 
 ### 2019-05-02
 * Blocks: reordered MY block dropdown by data type
diff --git a/locale/lang-de.js b/locale/lang-de.js
index 56e3cf76..a6099701 100644
--- a/locale/lang-de.js
+++ b/locale/lang-de.js
@@ -185,7 +185,7 @@ SnapTranslator.dict.de = {
     'translator_e-mail':
         'jens@moenig.org, jadga.huegle@sap.com', // optional
     'last_changed':
-        '2019-05-02', // this, too, will appear in the Translators tab
+        '2019-05-03', // this, too, will appear in the Translators tab
 
     // GUI
     // control bar:
@@ -1104,6 +1104,10 @@ SnapTranslator.dict.de = {
         'Hilfe...',
     'relabel...':
         'Umbenennen...',
+    'compile':
+        'Kompilieren',
+    'uncompile':
+        'Entkompilieren',
     'duplicate':
         'Duplizieren',
     'make a copy\nand pick it up':
diff --git a/snap.html b/snap.html
index c42dcb1c..c78bab8d 100755
--- a/snap.html
+++ b/snap.html
@@ -18,7 +18,7 @@
         <script type="text/javascript" src="src/sketch.js?version=2019-02-22"></script>
         <script type="text/javascript" src="src/xml.js?version=2018-11-12"></script>
         <script type="text/javascript" src="src/store.js?version=2019-04-04"></script>
-        <script type="text/javascript" src="src/locale.js?version=2019-05-02"></script>
+        <script type="text/javascript" src="src/locale.js?version=2019-05-03"></script>
         <script type="text/javascript" src="src/cloud.js?version=2019-04-25"></script>
         <script type="text/javascript" src="src/sha512.js?version=2018-10-02"></script>
         <script type="text/javascript" src="src/FileSaver.min.js?version=2018-10-02"></script>
diff --git a/src/locale.js b/src/locale.js
index 98262735..b8729b63 100644
--- a/src/locale.js
+++ b/src/locale.js
@@ -42,7 +42,7 @@
 
 /*global modules, contains*/
 
-modules.locale = '2019-May-02';
+modules.locale = '2019-May-03';
 
 // Global stuff
 
@@ -160,7 +160,7 @@ SnapTranslator.dict.de = {
     'translator_e-mail':
         'jens@moenig.org, jadga.huegle@sap.com',
     'last_changed':
-        '2019-05-02'
+        '2019-05-03'
 };
 
 SnapTranslator.dict.it = {