diff options
| author | hallgren <hallgren@chalmers.se> | 2011-04-13 15:30:42 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-04-13 15:30:42 +0000 |
| commit | 99388d116d98ff00490cea2b1ad9de9f2a98a730 (patch) | |
| tree | b5c514940f05339f1c6fbf919adff00e0028a9f0 /src/compiler | |
| parent | 0a27aaf1e6823ea2c81f91265e97d98d2d20d9ea (diff) | |
gfse: use "gf -server" mode instead of upload.cgi
Work in progress on making the online grammar editor use the new "gf -server"
mode instead of the old upload.cgi script. A first benefit is that the
editor now calls the server to check the syntax of lin & lincat definitions.
(But the links to minibar/gfshell/quiz are not available at the moment.)
Diffstat (limited to 'src/compiler')
0 files changed, 0 insertions, 0 deletions