diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2025-08-02 21:47:17 +0200 |
|---|---|---|
| committer | Inari Listenmaa <inari.listenmaa@gmail.com> | 2025-08-02 22:04:32 +0200 |
| commit | 183e421a0fe598d1e698015fce026fdef7f641a3 (patch) | |
| tree | 348ea475860f12439d5cdb10323812fd19ba8d88 /src/runtime/java/org/grammaticalframework | |
| parent | 3e0c0fa463f9a58084439cf52c334c1577ebc808 (diff) | |
update default depth in tutorial and help text
Diffstat (limited to 'src/runtime/java/org/grammaticalframework')
0 files changed, 0 insertions, 0 deletions