3 commits

Author	SHA1	Message	Date
Vladan Popovic	4ad6f935ff	Update bashrc prompt command and colors	2021-06-17 09:54:51 +02:00
Vladan Popovic	3c623998dc	opam init	2020-01-05 22:23:48 +01:00
Vladan Popovic	6dc2382dbf	[bash] Add empty profile ... (... configure later)	2019-07-29 11:56:16 +02:00