diff options
| -rw-r--r-- | parsing/.cvsignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/parsing/.cvsignore b/parsing/.cvsignore index 41e9ca1c9..4c9efd919 100644 --- a/parsing/.cvsignore +++ b/parsing/.cvsignore @@ -9,3 +9,4 @@ g_vernac.ml g_tactic.ml g_constr.ml g_cases.ml +g_proofs.ml |