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

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

diff --git a/dist b/dist
index 54b0bf9e..d285e425 160000
--- a/dist
+++ b/dist
@@ -1 +1 @@
-Subproject commit 54b0bf9e4ca6853bd0e12b907f6f15972674d04c
+Subproject commit d285e4258b362dba364e9485a496b3691e6fd697