Remove generated files from archive and ignore them now

MetaCoq · Jul 8, 2024 · ec45ca3 · ec45ca3
1 parent b4d67e4
commit ec45ca3
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 284 deletions.
diff --git a/.gitignore b/.gitignore
@@ -249,6 +249,8 @@ checker/src/wf.mli
 /safechecker/_PluginProject
 /safechecker/_CoqProject
 /template-coq/_CoqProject
+/template-coq/_PluginProject
+/template-coq/_TemplateCoqProject
 /common/_CoqProject
 /safechecker/Makefile.safechecker.conf
 /safechecker/Makefile.safechecker

diff --git a/template-coq/_PluginProject b/template-coq/_PluginProject
diff --git a/template-coq/_TemplateCoqProject b/template-coq/_TemplateCoqProject