mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-09-15 14:56:00 -06:00
pgf-shell: enable -rtsopts, call performGC between commands
This is to make it easier to find the cause of space leaks.
This commit is contained in:
Reference in New Issue
Block a user