diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2018-11-15 10:33:31 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2018-11-15 10:33:31 +0100 |
| commit | 735f5ff76f79ca53a1b2ed8cc0e13a75c9a01f5d (patch) | |
| tree | 707e0f575302284d17345f61899569ab16711ff2 /src/ui/gwt/www/morpho | |
| parent | 422248f11fdb1aa76af72bee67d30ea8d63fa892 (diff) | |
Remove `src/ui` folder, moved to:
https://github.com/GrammaticalFramework/gf-offline-translator
Diffstat (limited to 'src/ui/gwt/www/morpho')
| -rw-r--r-- | src/ui/gwt/www/morpho/index.html | 36 | ||||
| -rw-r--r-- | src/ui/gwt/www/morpho/morpho.fcgi | 1 |
2 files changed, 0 insertions, 37 deletions
diff --git a/src/ui/gwt/www/morpho/index.html b/src/ui/gwt/www/morpho/index.html deleted file mode 100644 index d524b3e91..000000000 --- a/src/ui/gwt/www/morpho/index.html +++ /dev/null @@ -1,36 +0,0 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> -<!-- The HTML 4.01 Transitional DOCTYPE declaration--> -<!-- above set at the top of the file will set --> -<!-- the browser's rendering engine into --> -<!-- "Quirks Mode". Replacing this declaration --> -<!-- with a "Standards Mode" doctype is supported, --> -<!-- but may lead to some differences in layout. --> - -<html> - <head> - <meta http-equiv="content-type" content="text/html; charset=UTF-8"> - <!-- --> - <!-- Any title is fine --> - <!-- --> - <title>Morpho</title> - - <!-- --> - <!-- This script loads your compiled module. --> - <!-- If you add any GWT meta tags, they must --> - <!-- be added before this line. --> - <!-- --> - <script type="text/javascript" language="javascript" src="org.grammaticalframework.ui.gwt.MorphoApp/org.grammaticalframework.ui.gwt.MorphoApp.nocache.js"></script> - </head> - - <!-- --> - <!-- The body can have arbitrary html, or --> - <!-- you can leave the body empty if you want --> - <!-- to create a completely dynamic UI. --> - <!-- --> - <body> - - <!-- OPTIONAL: include this if you want history support --> - <iframe src="javascript:''" id="__gwt_historyFrame" tabIndex='-1' style="position:absolute;width:0;height:0;border:0"></iframe> - - </body> -</html> diff --git a/src/ui/gwt/www/morpho/morpho.fcgi b/src/ui/gwt/www/morpho/morpho.fcgi deleted file mode 100644 index 8d1c8b69c..000000000 --- a/src/ui/gwt/www/morpho/morpho.fcgi +++ /dev/null @@ -1 +0,0 @@ - |