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 1884d4d66c Merge branch 'dev' into logos ... mail: add centrale account nvim: fix lsp maps fix tex snips add underline tex snippet		2022-01-14 11:10:56 +01:00
..
bin	Merge branch 'dev' into logos	2022-01-14 11:10:56 +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