diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-10-28T12·50+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-10-28T12·50+0000 |
commit | 0c4828ea05798b9e070e233884739736115a830d (patch) | |
tree | 19b91ea1fac55bdd5e0a69fda73b74a6a13dcbed /scripts/nix-pull.in | |
parent | e11e6fb1c6709ca3f0e596a7b1fb988df2fbd9b1 (diff) |
* new(UseGC) is inexplicably slower than GC_MALLOC, so prefer the
latter.
Diffstat (limited to 'scripts/nix-pull.in')
0 files changed, 0 insertions, 0 deletions