diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-03-19T09·16+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-03-19T09·16+0000 |
commit | b2b6cf3fc83f0e1625214ae31b0b088a266234bf (patch) | |
tree | 6cdbe3deaaf4431ac75fd80586d0d979aafd05e5 /INSTALL | |
parent | eb2dd4815c05fcc592d049bddcd2f42d13216eab (diff) |
* Undocumented option `gc-check-reachability' to allow reachability
checking to be turned off on machines with way too many roots.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions