diff options
Diffstat (limited to 'snapshots/coq-riscv/bbv/.gitignore')
| -rw-r--r-- | snapshots/coq-riscv/bbv/.gitignore | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/snapshots/coq-riscv/bbv/.gitignore b/snapshots/coq-riscv/bbv/.gitignore deleted file mode 100644 index fb3dc885..00000000 --- a/snapshots/coq-riscv/bbv/.gitignore +++ /dev/null @@ -1,10 +0,0 @@ -*.vo -*.glob -*.aux -*.d -.depend -.*.cache -_CoqProject -Makefile.coq.conf -Makefile.coq -html/ |