Commit for generation 220

This commit is contained in:
2024-10-10 03:53:44 -04:00
parent 4398bfefb5
commit 25525c533d
311 changed files with 2566 additions and 8784 deletions

View File

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