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 9f9735ad0..06938a4b8 100644 --- a/src/www/minibar/minibar.html +++ b/src/www/minibar/minibar.html @@ -25,7 +25,7 @@ & <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>] </small> <small class=modtime> -HTML <!-- hhmts start --> Last modified: Mon Feb 13 18:07:42 CET 2012 <!-- hhmts end --> +HTML <!-- hhmts start --> Last modified: Fri Apr 27 15:53:46 CEST 2012 <!-- hhmts end --> </small> <address> @@ -36,6 +36,7 @@ HTML <!-- hhmts start --> Last modified: Mon Feb 13 18:07:42 CET 2012 <!-- hhmts <script type="text/JavaScript" src="minibar_support.js"></script> <script type="text/JavaScript" src="pgf_online.js"></script> <script type="text/javascript" src="minibar_online.js"></script> +<script type="text/javascript" src="../gfse/gf_abs.js"></script> </body> </html> |