Commit for generation 92

This commit is contained in:
2024-09-25 17:34:23 -04:00
parent d7e8373c83
commit 6fa25e9e38
4 changed files with 14 additions and 3 deletions

View File

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