diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-11-21 15:24:24 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-11-21 15:24:24 +0000 |
| commit | 1c3f951144ff6b40bc2587f072585508a13549a9 (patch) | |
| tree | fb61515feb2a649b1955779e02ea832f542a341b /exec/execmutations.h | |
| parent | 220d2337c90ba1f22f626436fb56bcd478175ecd (diff) | |
(ports_S_interrupt_operation): Include seqno arg.
Diffstat (limited to 'exec/execmutations.h')
0 files changed, 0 insertions, 0 deletions