diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-01-04T12·45+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-01-04T12·45+0000 |
| commit | 9d43a0238235cfbe914e2051db89095699a2df95 (patch) | |
| tree | 8759279c2872d91f2ef0ef4888b92bc519cc061a /doc | |
| parent | a0477a458fa9fd7fbe090ff8cebcfd162c090b43 (diff) | |
* Let --disable-gc work.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions