Commit b9b3da20 authored by Rene Saarsoo's avatar Rene Saarsoo
Browse files

Fix the --extjs-path command line option. 

The placeholder for ExtJS path had been lost from index.html.
parent ef763bef

template/index.html

+1 −1
Original line number Diff line number Diff line
@@ -22,7 +22,7 @@ 
  <script type="text/javascript" src="resources/codemirror/codemirror.js"></script>

  <script type="text/javascript" src="resources/codemirror/javascript.js"></script>



  <script type="text/javascript" src="extjs/ext-all.js"></script>

  <script type="text/javascript" src="{extjs_path}"></script>

  <script type="text/javascript" src="prettify/prettify.js"></script>



  <script type="text/javascript">Docs = {localStorageDb: "{local_storage_db}"};</script>