traxys daa94bd6c2 tests: Disable coq-nvim defaults on x86_64 darwin		2024-07-19 11:11:17 +02:00
..
example-configurations	treewide: Reformat with nixfmt	2024-05-05 22:00:40 +02:00
modules	modules: refactor extraFiles	2024-07-07 16:42:47 +01:00
plugins	tests: Disable coq-nvim defaults on x86_64 darwin	2024-07-19 11:11:17 +02:00
examples.nix	treewide: Reformat with nixfmt	2024-05-05 22:00:40 +02:00