tools/ew.py: Add support for gnome-terminal
treeda131a08a0f6c5aeae92f3db1ed069f80585580d
-rw-r--r-- 3647 .clang-format
-rw-r--r-- 10239 .gitignore
-rw-r--r-- 2529 .travis.yml
-rw-r--r-- 19662 HelenOS.config
-rw-r--r-- 5368 Makefile
-rw-r--r-- 3888 README.md
drwxr-xr-x - abi
drwxr-xr-x - boot
drwxr-xr-x - contrib
drwxr-xr-x - defaults
drwxr-xr-x - doxygen
drwxr-xr-x - kernel
drwxr-xr-x - release
drwxr-xr-x - tools
drwxr-xr-x - uspace
-rw-r--r-- 1941 version