diff options
Diffstat (limited to 'states7/.cvsignore')
| -rw-r--r-- | states7/.cvsignore | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/states7/.cvsignore b/states7/.cvsignore deleted file mode 100644 index 5f73f56f5..000000000 --- a/states7/.cvsignore +++ /dev/null @@ -1,3 +0,0 @@ -barestate.coq -initial.coq -*.v8 |