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 bb7358ca80 Merge branch 'dev' into logos ... scripts: fetch infos more robus fix tsession alias: rsync --progress nvim: comments cleanup enable netrw again		2021-12-02 15:47:59 +01:00
..
bin	Merge branch 'dev' into logos	2021-12-02 15:47:59 +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