-
Adam Wujek authored
Use "xterm" as a terminal type instead of default "xterm-256color" used by gnome-terminal. Signed-off-by: Adam Wujek <adam.wujek@cern.ch>
0b0fa97f
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
.gitignore | ||
Makefile | ||
Makefile-for-target |