Ian Dowse f73d495f68 When the file system to unmount is specified by device name instead ... of by mount point, umount had to take care not to unmount the wrong file system if another file system was covering the requested one. Now that the file system to unmount is specified to the kernel using the filesystem ID, this confusion cannot occur, so remove the code that checked for it.		2003-07-18 01:10:16 +00:00
..
Makefile	Remove one of two WARNS=0.	2003-02-23 13:22:41 +00:00
umount.8	mdoc(7) fixes: Fix the markup in the recently added ENVIRONMENT section.	2003-05-19 19:58:29 +00:00
umount.c	When the file system to unmount is specified by device name instead	2003-07-18 01:10:16 +00:00