Pedro Alves 6392856852 coq: enable coq_settings.xdg by default		2023-02-20 10:50:57 +00:00
..
nvim-cmp	added formatter + reformat existing codebase (#175)	2023-02-20 10:42:13 +00:00
copilot.nix	added formatter + reformat existing codebase (#175)	2023-02-20 10:42:13 +00:00
coq.nix	coq: enable coq_settings.xdg by default	2023-02-20 10:50:57 +00:00
lspkind.nix	added formatter + reformat existing codebase (#175)	2023-02-20 10:42:13 +00:00