diff options
| author | Miles Bader <miles@gnu.org> | 1995-09-06 22:17:05 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-09-06 22:17:05 +0000 |
| commit | 893da1c7d87efffe9f106b6090e9eee6d6a8a9f0 (patch) | |
| tree | 20c695c45dd488f9e24d76cd2c5f9c505de16965 /libports/port-deref.c | |
| parent | 719c201174e1d8031a7f59ee58831363a500e45d (diff) | |
(ports_interrupt_server, ports_S_interrupt_operation): New declarations.
Diffstat (limited to 'libports/port-deref.c')
0 files changed, 0 insertions, 0 deletions