Commit 10c42008 authored by Mario Botsch's avatar Mario Botsch
Browse files

Merge branch 'mario' of gitlab2.informatik.uni-wuerzburg.de:decker/decker into mario

parents 31e8e7e2 fe375750
......@@ -3,7 +3,7 @@
let ExplainPlugin = (function () {
// configuration parameters
const config = Decker.meta.explain;
const config = Decker.meta.explain || {};
// GUI elements
let playPanel, playButton, player;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment