diff options
author | Miles Bader <miles@gnu.org> | 1995-10-11 00:15:07 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1995-10-11 00:15:07 +0000 |
commit | 36e6e7a212f9202ba798631d7025f16e4f2e5db8 (patch) | |
tree | 924546807841701ce56d8206610aa12f675c1f27 /devio/dev.c | |
parent | 9f99e02fa97ba4d39496509792e1bc1df7edc1ce (diff) |
(diskfs_init_completed): must --> may.
Add necessary includes.
Diffstat (limited to 'devio/dev.c')
0 files changed, 0 insertions, 0 deletions