3 commits

Author	SHA1	Message	Date
Gaetan Lepage	8338cf146f	plugins/nvim-cmp: update options	2023-05-26 22:47:14 +02:00
Gaétan Lepage	2550c919a5	plugins/coq-thirdparty: init + tests (#282)	2023-03-22 15:00:50 +01:00
Gaétan Lepage	db5061b4db	tests/plugins: refactor (#235)	2023-03-22 07:42:02 +01:00