1 files changed, 0 insertions, 5 deletions

diff --git a/riscv/.gitignore b/riscv/.gitignore
deleted file mode 100644
index 52f3767a..00000000
--- a/riscv/.gitignore
+++ /dev/null
@@ -1,5 +0,0 @@
-riscv.lem
-riscv_types.lem
-riscvScript.sml
-riscv_extrasScript.sml
-riscv_typesScript.sml