diff options
| author | hallgren <hallgren@chalmers.se> | 2012-03-01 18:11:58 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-03-01 18:11:58 +0000 |
| commit | 7f4038e0a89823fe8885f7a006e6b7cb697396ff (patch) | |
| tree | 8afa58549970d11a77956a49daae73af0e3e1f6c /doc | |
| parent | 1100f8792506651ae13c2be406915cef68795f2d (diff) | |
gfse: bug fix
Fix a problem opening grammars created before grammar extension was introduced.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions