diff options
| author | hallgren <hallgren@chalmers.se> | 2013-04-03 20:24:57 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-04-03 20:24:57 +0000 |
| commit | a22a419bc7ea0dc45f9965e6ffebf42417212d52 (patch) | |
| tree | 592af96d4a5b44b5a6dbe4ab83c13e4a2de7a60e /src/www/minibar/minibar.html | |
| parent | 0568a1a32a777c234ec044d56d46d5d4b4c0e760 (diff) | |
Simple Translation Tool: initial support for editing source segments in the minibar
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 c729561cd..8c193bd07 100644 --- a/src/www/minibar/minibar.html +++ b/src/www/minibar/minibar.html @@ -27,12 +27,13 @@ & <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>] </small> <small class=modtime> -HTML <!-- hhmts start -->Last modified: Fri Nov 23 16:07:35 CET 2012 <!-- hhmts end --> +HTML <!-- hhmts start -->Last modified: Wed Apr 3 18:48:06 CEST 2013 <!-- hhmts end --> </small> <address> <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="minibar.js"></script> <script type="text/JavaScript" src="minibar_input.js"></script> <script type="text/JavaScript" src="minibar_translations.js"></script> |