Remove dupes from the man page
This commit is contained in:
parent
8f72182494
commit
ab15dab52b
|
@ -39,13 +39,6 @@ Terminator window (good with -m)
|
||||||
.B -p --profile=PROFILE
|
.B -p --profile=PROFILE
|
||||||
Loads the GNOME Terminal profile named PROFILE
|
Loads the GNOME Terminal profile named PROFILE
|
||||||
.TP
|
.TP
|
||||||
.B -b, --borderless
|
|
||||||
Instruct the window manager not to render borders/decoration on the
|
|
||||||
Terminator window (good with -m)
|
|
||||||
.TP
|
|
||||||
.B -p --profile=PROFILE
|
|
||||||
Loads the GNOME Terminal profile named PROFILE
|
|
||||||
.TP
|
|
||||||
.SH SEE ALSO
|
.SH SEE ALSO
|
||||||
.BR gnome-terminal(1),
|
.BR gnome-terminal(1),
|
||||||
.SH AUTHOR
|
.SH AUTHOR
|
||||||
|
|
Loading…
Reference in New Issue