diff options
| author | hallgren <hallgren@chalmers.se> | 2012-03-26 17:17:54 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-03-26 17:17:54 +0000 |
| commit | a8ddb8fe5cc671a82102101690f0a624eae057fe (patch) | |
| tree | 5bddf1f969085f929a638f8647ad005dd83efa0a /src/compiler/GF | |
| parent | 9a6887aa496dcdb579e46915fd6d3c737e3dbb99 (diff) | |
minibar: support for adding grammars from several servers to the grammar menu
You can also add grammars from several directories on the same server of course.
The included minibar configuration file adds the user's own grammars from the
grammar editor.
Diffstat (limited to 'src/compiler/GF')
0 files changed, 0 insertions, 0 deletions