diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/www/minibar/minibar.html | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/www/minibar/minibar.html b/src/www/minibar/minibar.html index 8c193bd07..0255cdb70 100644 --- a/src/www/minibar/minibar.html +++ b/src/www/minibar/minibar.html @@ -27,9 +27,10 @@ & <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>] </small> <small class=modtime> -HTML <!-- hhmts start -->Last modified: Wed Apr 3 18:48:06 CEST 2013 <!-- hhmts end --> +HTML <!-- hhmts start -->Last modified: Thu Apr 4 16:50:57 CEST 2013 <!-- hhmts end --> </small> -<address> + +<div id="debug" class="hidden"></div> <script type="text/JavaScript" src="../js/grammar_manager.js"></script> <script type="text/JavaScript" src="../js/support.js"></script> |