Don't purge header database when reading headers in; this
authorChris Hanson <org/chris-hanson/cph>
Mon, 28 Oct 1996 00:12:29 +0000 (00:12 +0000)
committerChris Hanson <org/chris-hanson/cph>
Mon, 28 Oct 1996 00:12:29 +0000 (00:12 +0000)
commit977ca6b527efd6637ff0cc472e1d04901087da93
treec8692fe72ea978e5c78c7ee03980d385112031a6
parent7a1f047b2a5786a85a0cd6a9f425ee8b7b26d197
Don't purge header database when reading headers in; this
unnecessarily slows down the header-reading process.
v7/src/edwin/snr.scm