diff options
Diffstat (limited to 'man5/proc.5')
| -rw-r--r-- | man5/proc.5 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/man5/proc.5 b/man5/proc.5 index 71237e00e5..c75d230962 100644 --- a/man5/proc.5 +++ b/man5/proc.5 @@ -1188,7 +1188,7 @@ super options: per-superblock options. .IP Currently, the possible optional fields are: .RS 12 -.TP 18 +.TP 12 .I shared:X This mount is shared in peer group. .IR X . @@ -1197,7 +1197,7 @@ This mount is shared in peer group. This mount is slave to peer group .IR X . .TP -propagate_from:X (since Linux 2.6.26) +.IR propagate_from:X " (since Linux 2.6.26)" .\" commit 97e7e0f71d6d948c25f11f0a33878d9356d9579e This mount is a slave and receives propagation from peer group .IR X . |