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 557c908e40 Merge branch 'dev' into gentoo ... scripts: fix maker zsh: add envvar system: introduce tmux, irssi gnupg: fix pinentry ncmpcpp: don't display startup message nvim: add luasnip maps tex formatoptions		2021-11-20 16:07:14 +01:00
..
bin	Merge branch 'dev' into gentoo	2021-11-20 16:07:14 +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