diff options
Diffstat (limited to 'src/www/gfse')
| -rw-r--r-- | src/www/gfse/index.html | 6 | ||||
| -rw-r--r-- | src/www/gfse/share.html | 4 |
2 files changed, 5 insertions, 5 deletions
diff --git a/src/www/gfse/index.html b/src/www/gfse/index.html index 3b3543c2a..c607b4374 100644 --- a/src/www/gfse/index.html +++ b/src/www/gfse/index.html @@ -33,12 +33,12 @@ This page does not work without JavaScript. <hr> <div class=modtime><small> HTML -<!-- hhmts start -->Last modified: Wed Oct 3 23:44:31 CEST 2012 <!-- hhmts end --> +<!-- hhmts start -->Last modified: Tue Nov 20 13:39:47 CET 2012 <!-- hhmts end --> </small></div> <a href="about.html">About</a> <pre id=debug></pre> <script type="text/javascript" src="config.js"></script> <!-- optional --> -<script type="text/javascript" src="../minibar/support.js"></script> +<script type="text/javascript" src="../js/support.js"></script> <script type="text/javascript" src="localstorage.js"></script> <script type="text/javascript" src="gf_abs.js"></script> <script type="text/javascript" src="example_based.js"></script> @@ -49,6 +49,6 @@ HTML <script type="text/JavaScript" src="../minibar/minibar_input.js"></script> <script type="text/JavaScript" src="../minibar/minibar_translations.js"></script> <script type="text/JavaScript" src="../minibar/minibar_support.js"></script> -<script type="text/JavaScript" src="../minibar/pgf_online.js"></script> +<script type="text/JavaScript" src="../js/pgf_online.js"></script> </body> </html> diff --git a/src/www/gfse/share.html b/src/www/gfse/share.html index 54dcdb3e0..ff92d2f73 100644 --- a/src/www/gfse/share.html +++ b/src/www/gfse/share.html @@ -13,8 +13,8 @@ <hr> <address></address> -<!-- hhmts start --> Last modified: Mon Feb 13 19:03:32 CET 2012 <!-- hhmts end --> -<script type="text/javascript" src="../minibar/support.js"></script> +<!-- hhmts start -->Last modified: Tue Nov 20 13:39:57 CET 2012 <!-- hhmts end --> +<script type="text/javascript" src="../js/support.js"></script> <script type="text/javascript" src="localstorage.js"></script> <script type="text/javascript" src="gf_abs.js"></script> <script type="text/javascript" src="editor.js"></script> |