mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-06-08 06:36:32 -06:00
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.
158 B
158 B