move pipelines to pipe dir

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

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