5 commits

Author	SHA1	Message	Date
Gaetan Lepage	660c865928	plugins/copilot-lua: init + test	2023-06-22 10:34:36 +02:00
Gaetan Lepage	7ae81019d9	plugins/copilot: rename copilot -> copilot-vim	2023-06-22 10:34:36 +02:00
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