diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-03 18:34:12 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-03 18:34:12 +0000 |
| commit | dff5106bec7062701c3dc4d548aea081803e35a5 (patch) | |
| tree | 55df778bed63b919181d00f4aa4f8a310ab633ff | |
| parent | c34b7ac31427861e066ea7f9fc7d964598aa4ed4 (diff) | |
| download | biteq-dff5106bec7062701c3dc4d548aea081803e35a5.tar.gz biteq-dff5106bec7062701c3dc4d548aea081803e35a5.zip | |
Remove built files
| -rw-r--r-- | .gitignore | 4 | ||||
| -rw-r--r-- | src/BitEQ.vok | 0 | ||||
| -rw-r--r-- | src/BitEQ.vos | 0 |
3 files changed, 4 insertions, 0 deletions
@@ -1,2 +1,6 @@ *~ *.coq.all* + +*.vo +*.vos +*.vok diff --git a/src/BitEQ.vok b/src/BitEQ.vok deleted file mode 100644 index e69de29..0000000 --- a/src/BitEQ.vok +++ /dev/null diff --git a/src/BitEQ.vos b/src/BitEQ.vos deleted file mode 100644 index e69de29..0000000 --- a/src/BitEQ.vos +++ /dev/null |