User configuration for TUI tools (on Linux)
Find a file
2013-05-03 12:59:08 +02:00
common fix. 2013-05-03 12:22:26 +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 code2html and highlight in debian install 2013-05-03 12:59:08 +02:00
update-home.sh Add jedi 2013-05-03 10:58:55 +02:00