diff options
Diffstat (limited to 'src/www/minibar/minibar.html')
| -rw-r--r-- | src/www/minibar/minibar.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/www/minibar/minibar.html b/src/www/minibar/minibar.html index 06aa77a54..3eea85c22 100644 --- a/src/www/minibar/minibar.html +++ b/src/www/minibar/minibar.html @@ -27,7 +27,7 @@ & <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>] </small> <small class=modtime> -HTML <!-- hhmts start -->Last modified: Fri Apr 12 20:06:19 CEST 2013 <!-- hhmts end --> +HTML <!-- hhmts start -->Last modified: Mon May 18 17:31:07 CEST 2015 <!-- hhmts end --> </small> <div id="debug" class="hidden"></div> @@ -35,6 +35,7 @@ HTML <!-- hhmts start -->Last modified: Fri Apr 12 20:06:19 CEST 2013 <!-- hhmts <script type="text/JavaScript" src="../js/grammar_manager.js"></script> <script type="text/JavaScript" src="../js/support.js"></script> <script type="text/JavaScript" src="../js/localstorage.js"></script> +<script type="text/JavaScript" src="../js/langcode.js"></script> <script type="text/JavaScript" src="minibar.js"></script> <script type="text/JavaScript" src="minibar_input.js"></script> <script type="text/JavaScript" src="minibar_translations.js"></script> |