diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-09-11 08:50:29 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-09-11 08:50:29 +0200 |
| commit | 67129695034e478e1dd707eb77c72379ce68cc4f (patch) | |
| tree | f281838e6264d6f85be23cd1cec363f64dd7ff9a /src/runtime/java/org/grammaticalframework | |
| parent | 09f5c95d82d72c95f29e917c6414ba51d7754a0b (diff) | |
an API to access the grammar's flags
Diffstat (limited to 'src/runtime/java/org/grammaticalframework')
0 files changed, 0 insertions, 0 deletions