From b6545d62fc1e63af4d46b3dbdce2cd7d94e90dfe Mon Sep 17 00:00:00 2001
From: Kevin Jahns <kevin.jahns@rwth-aachen.de>
Date: Wed, 29 Mar 2017 13:43:26 +0200
Subject: [PATCH] update CodeMirror example

---
 dist | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dist b/dist
index d285e425..11b30c70 160000
--- a/dist
+++ b/dist
@@ -1 +1 @@
-Subproject commit d285e4258b362dba364e9485a496b3691e6fd697
+Subproject commit 11b30c707251a7d56385f6534350ead4a2ff6711