When reading in context headers, mark them as ignored when necessary.
authorChris Hanson <org/chris-hanson/cph>
Wed, 23 Oct 1996 22:58:42 +0000 (22:58 +0000)
committerChris Hanson <org/chris-hanson/cph>
Wed, 23 Oct 1996 22:58:42 +0000 (22:58 +0000)
commitdcba2ffeb0b6e9890af7b6bec1812a1e7459c653
tree86576151810627b73f3cb6c4ed10f71b2276c1fe
parent6546c42697c0950b7dda1ddebed83e99175a7949
When reading in context headers, mark them as ignored when necessary.
Also, delete entire threads of "seen" context headers.
v7/src/edwin/snr.scm