diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-11-13T18·19+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-11-13T18·19+0000 |
| commit | f459a5bb3a7142dee5d82c5d385bc3c4654c8e2c (patch) | |
| tree | d6dbd6bf7c941768745ffd2d2085d7dacec3d499 /doc/manual | |
| parent | e2a70b7ec04db604e9eaadfa6446bd360473163a (diff) | |
* Remove the undocumented `noscan' feature. It's no longer necessary
now that reference scanning is sufficiently streamy.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions