diff options
| -rw-r--r-- | states/.cvsignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/states/.cvsignore b/states/.cvsignore index 600e2f7a34..d013554864 100644 --- a/states/.cvsignore +++ b/states/.cvsignore @@ -1,3 +1,4 @@ barestate.coq initial.coq initialnew.coq +*.v8 |