Deploying to gh-pages from @ 29fd2daf9e 🚀

This commit is contained in:
Lemmih 2020-08-23 03:18:09 +00:00
commit c888af14e3
6 changed files with 103 additions and 11 deletions

View file

@ -129,7 +129,7 @@
</div>
<script type="text/javascript">
var app = playgroundInit('elm');
var app = playgroundInit(document.getElementById('elm'));
var myCodeMirror = CodeMirror(document.querySelector('#editor'), {
lineNumbers: true,