diff options
| author | Miles Bader <miles@gnu.org> | 1997-01-20 21:35:39 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1997-01-20 21:35:39 +0000 |
| commit | bd7a5add0c584ad4c8dea7861cba81ddc8ea79b0 (patch) | |
| tree | 1d67f1f1bbcbf32e9bbcde24a7e2e620d02b8d72 /pfinet/config.h | |
| parent | 103714d181eb97c6fffeb77b0a7ad39ec99b5418 (diff) | |
(dir_reparent): Make PARENT a mach_port_t, not a file_t, so that libraries
that do type translations of file_t won't get bogus arguments for ports in
other filesystems.
Diffstat (limited to 'pfinet/config.h')
0 files changed, 0 insertions, 0 deletions