diff options
Diffstat (limited to 'etc/disable-terminals.inc')
| -rw-r--r-- | etc/disable-terminals.inc | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/etc/disable-terminals.inc b/etc/disable-terminals.inc deleted file mode 100644 index c9db48087..000000000 --- a/etc/disable-terminals.inc +++ /dev/null | |||
| @@ -1,5 +0,0 @@ | |||
| 1 | # disable terminals running as server | ||
| 2 | blacklist ${PATH}/gnome-terminal | ||
| 3 | blacklist ${PATH}/gnome-terminal.wrapper | ||
| 4 | blacklist ${PATH}/xfce4-terminal | ||
| 5 | blacklist ${PATH}/xfce4-terminal.wrapper | ||