diff options
| author | hallgren <hallgren@chalmers.se> | 2012-10-16 22:10:49 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-10-16 22:10:49 +0000 |
| commit | d01e790d95948e972e6531196e8983a7313ddc4e (patch) | |
| tree | 93aa3b4a9918edc853608cd5cb8cb42ae0f10f92 /examples/tutorial/hello/Hello.gf | |
| parent | 4c0c7a994be74b3c9b4d7ae9b2e5b0671e777813 (diff) | |
gfse: identify inherited grammars by their unique id
This helps avoiding problems if an inherited grammar is renamed, or if there
is more than one grammar with the same name.
Diffstat (limited to 'examples/tutorial/hello/Hello.gf')
0 files changed, 0 insertions, 0 deletions