j
k
j a
j l
Bulat Ziganshin wrote:
char *ghc_rts_opts = "-A10m"; (see 4.14.5 in GHC user manual)
char *ghc_rts_opts = "-A10m";
(see 4.14.5 in GHC user manual)
Yes, thanks, that is better for me Christian
Back to the thread
Back to the list