diff options
Diffstat (limited to 'man1/intro.1')
| -rw-r--r-- | man1/intro.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man1/intro.1 b/man1/intro.1 index f118a4965d..1e7d02f0da 100644 --- a/man1/intro.1 +++ b/man1/intro.1 @@ -109,7 +109,7 @@ drwxr-xr-x 2 aeb 1024 Aug 6 23:51 bin .BI "% " "rm tel1" .BI "% " "grep maja tel2" maja 0501-1136285 -.BI "% " +.B "% " .fi .RE and here typing Control-D ended the session. |