diff options
| author | hallgren <hallgren@chalmers.se> | 2012-02-16 16:44:44 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-02-16 16:44:44 +0000 |
| commit | d98f63af515b873c84a5ade3d692bca61dd12896 (patch) | |
| tree | 8892bf1f8810e5de99366c632fef84b0a69b8c7c /src/runtime | |
| parent | 03aca7421b15126596eab61943ab12332df49a1c (diff) | |
gfse: you can now remove grammars from the list of inherited grammars
Diffstat (limited to 'src/runtime')
0 files changed, 0 insertions, 0 deletions