diff options
| author | Miles Bader <miles@gnu.org> | 1997-07-21 22:40:45 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1997-07-21 22:40:45 +0000 |
| commit | bff3ee28fe3662f75db6532636144a4460565c31 (patch) | |
| tree | 1553d663fa42a6dc623fff10dce106ae7cc3bba2 /libpager/inhibit-term.c | |
| parent | e106d0f9bf3afcd2d0cd0f6d56fb202f524e578e (diff) | |
(store_remap):
If we are mutating SOURCE, close any source port it has.
Diffstat (limited to 'libpager/inhibit-term.c')
0 files changed, 0 insertions, 0 deletions