User configuration for TUI tools (on Linux)
Find a file
2013-11-11 11:36:35 +01:00
common Better vim conf (python + spell) 2013-11-11 11:36:35 +01: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-graphic.sh Fix for linuxmint 2013-10-30 00:16:32 +01:00
install-debpkgs.sh Fix for linuxmint 2013-10-30 00:16:32 +01:00
update-home.sh Better vim conf (python + spell) 2013-11-11 11:36:35 +01:00