diff options
author | Michael I. Bushnell <mib@gnu.org> | 1995-06-27 15:11:56 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-27 15:11:56 +0000 |
commit | 886df622bee1fc15147eba65fdefcef2eb5ae2fd (patch) | |
tree | 498a5476bbb12ba63c548e21ae6a1be07b985092 /Makefile | |
parent | 39a1c5546695f933f8479d13d87a7a86aed99000 (diff) |
(trivfs_do_mach_notify_no_senders): Use new ports interface.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions