This repository has been archived on 2023-03-02. You can view files and clone it, but cannot push or open issues or pull requests.

David JULIEN 114058ab24 [zsh]feat: more readable vcs prompt ... branch is redder state: white -> grey		2021-10-21 23:58:31 +02:00
..
.zlogin	feat: add relevant zsh files	2021-05-19 11:56:05 +02:00
.zprofile	fix: COQBIN variable	2021-10-19 17:03:00 +02:00
.zshrc	feat: make opam more XDG_USER_DIR compliant	2021-10-12 14:00:29 +02:00
zsh_prompt	[zsh]feat: more readable vcs prompt	2021-10-21 23:58:31 +02:00