diff options
| author | hallgren <hallgren@chalmers.se> | 2010-12-17 16:29:22 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2010-12-17 16:29:22 +0000 |
| commit | c51d1f983383763355410fb05732b6632f05117b (patch) | |
| tree | 1e47ad7848a379a666e662d5555462a918dde3cb /src/runtime/javascript/editor.html | |
| parent | 71e0ec4d417dab88a7abf33dd23d7197c453450d (diff) | |
Install minibar and some example grammars along with pgf-http
Together with the changes to pgf-http, this should make it much easier to run
the PGF service and minibar locally.
Diffstat (limited to 'src/runtime/javascript/editor.html')
0 files changed, 0 insertions, 0 deletions
