Remove duplicated word. Signed-off-by: Jakub Wilk <jwilk@xxxxxxxxx> --- man5/proc.5 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/man5/proc.5 b/man5/proc.5 index ab8d915cb..2de23b77b 100644 --- a/man5/proc.5 +++ b/man5/proc.5 @@ -3177,7 +3177,7 @@ namespace (see for which the .I /proc filesystem was mounted. -(In the the initial PID namespace, +(In the initial PID namespace, there is no filtering of the records shown in this file.) .IP The -- 2.15.0 -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
