User configuration for TUI tools (on Linux)
Find a file
2013-05-09 15:21:46 +02:00
common Replace terminal colors def. 2013-05-09 15:21:46 +02:00
graphic Change tint2 conf. 2013-05-03 12:00:07 +02:00
.hgignore Add jedi 2013-05-03 10:58:55 +02:00
install-debpkgs.sh Add postgresql-autodoc and tora tools 2013-05-09 11:39:13 +02:00
update-home.sh Add jedi 2013-05-03 10:58:55 +02:00