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 d0972249c5 Merge branch 'dev' into gentoo ... mail: add centrale mail account nvim: fix lsp maps (API)		2022-01-14 10:55:35 +01:00
..
bin	Merge branch 'dev' into gentoo	2022-01-14 10:55:35 +01:00
share	[irssi] feat: add irc client	2021-11-20 16:05:46 +01:00
src	[nvim] astronomy: add static colors for coq	2021-10-29 22:59:24 +02:00