User configuration for TUI tools (on Linux)
Find a file
2013-05-03 11:45:37 +02:00
common Add jedi 2013-05-03 10:58:55 +02:00
graphic Powerline config. 2013-05-02 23:36:55 +02:00
.hgignore Add jedi 2013-05-03 10:58:55 +02:00
install-debpkgs.sh add redshift to install list 2013-05-03 11:45:37 +02:00
update-home.sh Add jedi 2013-05-03 10:58:55 +02:00