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