attempt to sync laptop and desktop branches

This commit is contained in:
pagedMov
2024-10-12 12:14:50 -04:00
parent 0dd840f25e
commit f35539ff70
20 changed files with 0 additions and 0 deletions

View File

@@ -0,0 +1,8 @@
{
plugins.coq-nvim = {
enable = true;
settings = {
auto_start = true;
};
};
}