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/tree-btn.png | Bin 149 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 src/runtime/javascript/minibar/tree-btn.png (limited to 'src/runtime/javascript/minibar/tree-btn.png') diff --git a/src/runtime/javascript/minibar/tree-btn.png b/src/runtime/javascript/minibar/tree-btn.png deleted file mode 100644 index ebd243617..000000000 Binary files a/src/runtime/javascript/minibar/tree-btn.png and /dev/null differ -- cgit v1.2.3