hallgren 4e4d2a77e1 gf.cabal: increase idle time before full GC to 5 seconds ...

The builtin GHC RTS default is 0.3 seconds, which results in very bad
interactive behaviour when working with a large grammar in the GF shell.

2015-03-05 15:30:41 +00:00

8.2 KiB

Raw Blame History

View Raw