Commit graph

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