From 44d1a5a9f71b03d9aceeccd760a63fcdc45f8bad Mon Sep 17 00:00:00 2001 From: hallgren Date: Wed, 12 Oct 2011 17:03:54 +0000 Subject: Improvements of "gf -server" mode and related setup "gf -server" mode now contains everything needed to run the minibar and the grammar editor (including example-based grammar writing). The Setup.hs script installs the required files where gf -server can find them. These files have been moved to a new directory: src/www. The separate server program pgf-http is now obsolete. --- src/runtime/javascript/minibar/feedback.html | 48 ---------------------------- 1 file changed, 48 deletions(-) delete mode 100644 src/runtime/javascript/minibar/feedback.html (limited to 'src/runtime/javascript/minibar/feedback.html') diff --git a/src/runtime/javascript/minibar/feedback.html b/src/runtime/javascript/minibar/feedback.html deleted file mode 100644 index 94b15a482..000000000 --- a/src/runtime/javascript/minibar/feedback.html +++ /dev/null @@ -1,48 +0,0 @@ - - -Feedback - - - - - - - - - -

Feedback

- -
- - -

- ... input: - ... - -

-

... translation: - ... - -

-

- -

- -

- - - - - - - - - - - -

- - - -- cgit v1.2.3