diff options
-rw-r--r-- | THANKS.in | 1 | ||||
-rw-r--r-- | doc/coreutils.texi | 2 |
2 files changed, 1 insertions, 2 deletions
@@ -196,7 +196,6 @@ Erik Corry erik@kroete2.freinet.de Felix Lee flee@teleport.com Felix Rauch Valenti frauch@cse.unsw.edu.au Ferdinand fw@scenic.mine.nu -Filipus Klutiero chealer@gmail.com Fletcher Mattox fletcher@cs.utexas.edu Florent Bayle florent@sarcelle.net Florian Schlichting fschlich@cis.fu-berlin.de diff --git a/doc/coreutils.texi b/doc/coreutils.texi index 81bc97f09..5139809b2 100644 --- a/doc/coreutils.texi +++ b/doc/coreutils.texi @@ -11054,7 +11054,7 @@ for that device with the shortest mount point name in the list of file systems (@var{mtab}), i.e., it hides duplicate entries, unless the @option{-a} option is specified. -With the same logic, @command{df} elides a mount entry of a dummy pseude device +With the same logic, @command{df} elides a mount entry of a dummy pseudo device if there is another mount entry of a real block device for that mount point with the same device number, e.g. the early-boot pseudo file system @samp{rootfs} is not shown per default when already the real root device has been mounted. |