mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-08-06 04:25:14 -06:00
ef9f16b63a
The Documentation module is excluded from present mode in abstract/Lang.gf, so it needs to be excluded in the corresponding concrete syntaxes too to avoid problems.