diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-05-06 20:34:34 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-05-06 20:34:34 +0000 |
| commit | 4d66204260bdcf12d0541392b3d73cc9ae0a4c01 (patch) | |
| tree | 3e505cabadb996d7ad9f035449c1027e4076c4ad /libports/dead-name.c | |
| parent | 7eca7eb2899916f28611d27b8ce05165d66a9421 (diff) | |
(ports_allocate_port, ports_intern_external_port): Delete obsolete
declarations.
Diffstat (limited to 'libports/dead-name.c')
0 files changed, 0 insertions, 0 deletions