mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-08-06 12:35:12 -06:00
186e3effba
Also remove arguments to raise the stack size, GF's built-in default is big enough now.