steven/nixos-config
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat: improve nixvim configuration

Browse source
This commit is contained in:
Zhongheng Liu 2024-12-03 22:35:06 +02:00
commit b74b1ba3e4
Signed by: steven
GPG key ID: 805A28B071DAD84B
5 changed files with 39 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

6
home-manager/stvnliu/nixvim/coq.nix Normal file
View file

@ -0,0 +1,6 @@
{
plugins.coq-nvim = {
enable = true;
installArtifacts = true;
};
}