From dff5106bec7062701c3dc4d548aea081803e35a5 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 3 Mar 2022 18:34:12 +0000 Subject: Remove built files --- .gitignore | 4 ++++ src/BitEQ.vok | 0 src/BitEQ.vos | 0 3 files changed, 4 insertions(+) delete mode 100644 src/BitEQ.vok delete mode 100644 src/BitEQ.vos diff --git a/.gitignore b/.gitignore index 94634d9..62d1d85 100644 --- a/.gitignore +++ b/.gitignore @@ -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 diff --git a/src/BitEQ.vos b/src/BitEQ.vos deleted file mode 100644 index e69de29..0000000 -- cgit