diff --git a/plugins/terminal/lib/jediterm.txt b/plugins/terminal/lib/jediterm.txt deleted file mode 100644 index c748e4260fa8..000000000000 --- a/plugins/terminal/lib/jediterm.txt +++ /dev/null @@ -1 +0,0 @@ -* jediterm-pty - PTY terminal from https://github.com/JetBrains/jediterm \ No newline at end of file