diff options
Diffstat (limited to 'src/www/translator/index.html')
| -rw-r--r-- | src/www/translator/index.html | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/www/translator/index.html b/src/www/translator/index.html index 7f3d46a22..8d08324fe 100644 --- a/src/www/translator/index.html +++ b/src/www/translator/index.html @@ -67,16 +67,15 @@ </noscript> </div> <hr> -<div class=modtime><small> -<!-- hhmts start --> Last modified: Tue May 15 16:17:32 CEST 2012 <!-- hhmts end --> +<div class=modtime><small>HMTL +<!-- hhmts start --> Last modified: Wed May 16 16:15:20 CEST 2012 <!-- hhmts end --> </small></div> <a href="about.html">About</a> <script type="text/javascript" src="../minibar/support.js"></script> <script type="text/javascript" src="../minibar/pgf_online.js"></script> -<!-- <script type="text/javascript" src="../gfse/cloud2.js"></script> ---> +<script type="text/javascript" src="../gfse/localstorage.js"></script> <script type="text/javascript" src="translator.js"></script> <script type="text/javascript" > var translator = new Translator() |