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/release-notes.xml | |
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/release-notes.xml')
0 files changed, 0 insertions, 0 deletions