diff options
author | Sebastiaan Lokhorst <sebastiaanlokhorst@gmail.com> | 2020-03-20 10:01:11 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-20 10:01:11 +0100 |
commit | 1e4409c6b3add5482f976a3bb9c610bc8f1d602d (patch) | |
tree | 1febac3f0036b19fe840f806916dedbe783f8bcc /doc | |
parent | f8c3d694bbac3653b786105fe084ab46088d0453 (diff) |
Remove gnome-terminal from rofi-sensible-terminal (#1074)
gnome-terminal is no longer compatible, as noted in #1003
Diffstat (limited to 'doc')
-rw-r--r-- | doc/rofi-sensible-terminal.1 | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/doc/rofi-sensible-terminal.1 b/doc/rofi-sensible-terminal.1 index 9927b896..b03a7a65 100644 --- a/doc/rofi-sensible-terminal.1 +++ b/doc/rofi-sensible-terminal.1 @@ -121,17 +121,6 @@ xterm .sp -1 .IP \(bu 2.3 .\} -gnome\-terminal -.RE -.sp -.RS 4 -.ie n \{\ -\h'-04'\(bu\h'+03'\c -.\} -.el \{\ -.sp -1 -.IP \(bu 2.3 -.\} roxterm .RE .sp |