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 72b13bc4d9 Merge branch 'dev' into gentoo ... fix: COQBIN env variable		2021-10-19 17:25:46 +02:00
..
.zlogin	feat: add relevant zsh files	2021-05-19 11:56:05 +02:00
.zprofile	Merge branch 'dev' into gentoo	2021-10-19 17:25:46 +02:00
.zshrc	Merge branch 'dev' into gentoo	2021-10-12 14:02:33 +02:00
zsh_prompt	feat: add scripts for st output management	2021-03-10 23:12:23 +01:00