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