diff options
author | Dave Davenport <qball@gmpclient.org> | 2021-06-08 12:17:59 +0200 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2021-06-08 12:17:59 +0200 |
commit | 0db6412ae29eee08a44e163e3d142f765ef57a59 (patch) | |
tree | 1417518a1b41dd171b02af3a51723047a35e7a0f /doc/rofi-sensible-terminal.1 | |
parent | 5eaa5572ef3944747d88c1d5506c934409383f39 (diff) |
[Doc,Config] Remove line-margin|padding and fix doc mistake.
*Deprecated* option.
Diffstat (limited to 'doc/rofi-sensible-terminal.1')
-rw-r--r-- | doc/rofi-sensible-terminal.1 | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/rofi-sensible-terminal.1 b/doc/rofi-sensible-terminal.1 index 30d4a15d..6d10df97 100644 --- a/doc/rofi-sensible-terminal.1 +++ b/doc/rofi-sensible-terminal.1 @@ -16,8 +16,6 @@ shipping this script in a way which is appropriate for the distribution. .PP It tries to start one of the following (in that order): - -.RS .IP \(bu 2 \fB\fC$TERMINAL\fR (this is a non\-standard variable) .IP \(bu 2 @@ -55,8 +53,6 @@ alacritty .IP \(bu 2 kitty -.RE - .SH SEE ALSO .PP rofi(1) |