diff options
| author | hallgren <hallgren@chalmers.se> | 2012-11-20 12:56:48 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-11-20 12:56:48 +0000 |
| commit | 3eaeaed8fd741bb1f33c76032e7292df08b35a9f (patch) | |
| tree | 9e02b65d4f57c719d69175f0523cbb11d2f60782 /src/www/minibar/minibar.html | |
| parent | 27beb9a3f836e0fa05d4c92c3c6182e8a1a6417b (diff) | |
GF cloud: move support.js and pgf_online.js
Created the folder js and moved minibar/support.js and minibar/pgf_online.js
there, to emphasize their status as app independent support libraries.
There are probably more files that should be moved here.
The cloud apps have been updated, externally hosted apps that link directly
to our server need to be updated too.
Diffstat (limited to 'src/www/minibar/minibar.html')
| -rw-r--r-- | src/www/minibar/minibar.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/www/minibar/minibar.html b/src/www/minibar/minibar.html index 06938a4b8..df5bfba3a 100644 --- a/src/www/minibar/minibar.html +++ b/src/www/minibar/minibar.html @@ -25,16 +25,16 @@ & <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>] </small> <small class=modtime> -HTML <!-- hhmts start --> Last modified: Fri Apr 27 15:53:46 CEST 2012 <!-- hhmts end --> +HTML <!-- hhmts start -->Last modified: Tue Nov 20 13:38:35 CET 2012 <!-- hhmts end --> </small> <address> -<script type="text/JavaScript" src="support.js"></script> +<script type="text/JavaScript" src="../js/support.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> <script type="text/JavaScript" src="minibar_support.js"></script> -<script type="text/JavaScript" src="pgf_online.js"></script> +<script type="text/JavaScript" src="../js/pgf_online.js"></script> <script type="text/javascript" src="minibar_online.js"></script> <script type="text/javascript" src="../gfse/gf_abs.js"></script> |