Изменить 'ace/index.html'

2019-09-03 11:37:47 +02:00
parent 56cc4dccbd
commit ecd6f17fcd
1 changed files with 1 additions and 1 deletions
--- a/ace/index.html
+++ b/ace/index.html
@@ -19,7 +19,7 @@
    return x;
 }</div>
    
-<script src="/ace-builds/src-noconflict/ace.js" type="text/javascript" charset="utf-8"></script>
+<script src="/ace-builds/src-min-noconflict/ace.js" type="text/javascript" charset="utf-8"></script>
 <script>
    var editor = ace.edit("editor");
    editor.setTheme("ace/theme/monokai");