commit 338b289da742c9d043da6993e506384d67c22cf6
author Mitchell Kember <mkember@google.com> Wed Sep 16 13:15:32 2020 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Wed Sep 16 13:15:32 2020 +0000
tree dfb039a9ad2a2ca804cd1f18bf99e0549844a381
parent 51288d7fe2984527ba86e969c45b89ad20531824
parent 1b896081dfb49a577cadcbd730469f01c0825d03

Merge "Fix Ctrl+Enter bug for VS Code bindings"

frontend/src/index.html

diff --git a/frontend/src/index.html b/frontend/src/index.html
index 8c4ec53..99b107f 100644
--- a/frontend/src/index.html
+++ b/frontend/src/index.html
@@ -9,6 +9,6 @@
       <div class="lds-ellipsis"><div></div><div></div><div></div><div></div></div>
     </div>
     <div id="Elm"></div>
-    <script src="https://cdnjs.cloudflare.com/ajax/libs/ace/1.4.8/ace.js"></script>
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/ace/1.4.12/ace.js"></script>
   </body>
 </html>