aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index f3c392c9..ee20628e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,6 +7,9 @@
*/*.swp
*/*/*.swp
*/*/*/*.swp
+*/*.flo
+*/*.v
+*/*.out
*/*/*.flo
*/*/*.v
*/*/*.out