diff options
| -rw-r--r-- | parsing/.cvsignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/parsing/.cvsignore b/parsing/.cvsignore index 4c9efd919c..ffeaac2ef2 100644 --- a/parsing/.cvsignore +++ b/parsing/.cvsignore @@ -10,3 +10,4 @@ g_tactic.ml g_constr.ml g_cases.ml g_proofs.ml +g_minicoq.ml |