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