diff options
Diffstat (limited to 'states/.cvsignore')
-rw-r--r-- | states/.cvsignore | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/states/.cvsignore b/states/.cvsignore index d01355486..299893263 100644 --- a/states/.cvsignore +++ b/states/.cvsignore @@ -1,4 +1 @@ -barestate.coq initial.coq -initialnew.coq -*.v8 |