Tibo De Peuter b25f1f9f4b feat(vim): Add Coq support		2024-10-24 15:29:38 +02:00
..
.vim	[vim] Tweak linters	2024-02-23 08:03:47 +01:00
.vimrc	feat(vim): Add Coq support	2024-10-24 15:29:38 +02:00