Remove autogenerated file from VCS

MetaCoq · Jan 27, 2025 · 1d9755a · 1d9755a
1 parent 05ba4dd
commit 1d9755a
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/template-pcuic/metacoq-config b/template-pcuic/metacoq-config