Personal bashrc file
Go to file
2020-06-30 13:50:32 +02:00
_bashrc Use proper Git PS1 2020-06-30 13:50:32 +02:00