rename pipe to fu

[soc.git] / src / soc / pipe / alu / formal / .gitignore

diff --git a/src/soc/pipe/alu/formal/.gitignore b/src/soc/pipe/alu/formal/.gitignore
deleted file mode 100644 (file)
index 150f68c..0000000
--- a/src/soc/pipe/alu/formal/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-*/*