Tanish2002 efdcbe225f perform some statix linting and fixes		2023-05-22 23:00:53 +02:00
..
nvim-cmp	perform some statix linting and fixes	2023-05-22 23:00:53 +02:00
copilot.nix	added formatter + reformat existing codebase (#175)	2023-02-20 10:42:13 +00:00
coq-thirdparty.nix	plugins/coq-thirdparty: init + tests (#282)	2023-03-22 15:00:50 +01:00
coq.nix	misc: update inputs + make use of upstream plugins (#294)	2023-03-26 15:44:45 +02:00
lspkind.nix	perform some statix linting and fixes	2023-05-22 23:00:53 +02:00