mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-06-29 18:48:37 -06:00
cec28ebec0
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