diff options
Diffstat (limited to 'src/www/gfse/index.html')
| -rw-r--r-- | src/www/gfse/index.html | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/www/gfse/index.html b/src/www/gfse/index.html index cfa89762d..12f50ef7e 100644 --- a/src/www/gfse/index.html +++ b/src/www/gfse/index.html @@ -33,23 +33,25 @@ This page does not work without JavaScript. <hr> <div class=modtime><small> HTML -<!-- hhmts start -->Last modified: Wed Apr 3 20:30:24 CEST 2013 <!-- hhmts end --> +<!-- hhmts start -->Last modified: Fri Apr 12 20:22:01 CEST 2013 <!-- 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="../js/support.js"></script> +<script type="text/JavaScript" src="../js/pgf_online.js"></script> <script type="text/javascript" src="../js/localstorage.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> <script type="text/javascript" src="sort.js"></script> <script type="text/javascript" src="cloud2.js"></script> <script type="text/javascript" src="editor.js"></script> + <script type="text/JavaScript" src="../minibar/minibar.js"></script> <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="../js/pgf_online.js"></script> </body> </html> |