Valentin Gehrke b451fe22e6 Reduce bash prompt ... ...as bash doesn't handle color very well		2018-01-23 14:56:20 +01:00
..
.bash_profile	added bash profile	2015-11-02 11:08:34 +01:00
.bashrc	Reduce bash prompt	2018-01-23 14:56:20 +01:00