From: Luke Kenneth Casson Leighton Date: Sat, 23 May 2020 02:19:49 +0000 (+0100) Subject: add gitignore X-Git-Tag: div_pipeline~923 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=24f101631617cba2d6d7d76a86414689218a6323;p=soc.git add gitignore --- diff --git a/src/soc/fu/div/formal/.gitignore b/src/soc/fu/div/formal/.gitignore new file mode 100644 index 00000000..150f68c8 --- /dev/null +++ b/src/soc/fu/div/formal/.gitignore @@ -0,0 +1 @@ +*/* diff --git a/src/soc/fu/mul/formal/.gitignore b/src/soc/fu/mul/formal/.gitignore new file mode 100644 index 00000000..150f68c8 --- /dev/null +++ b/src/soc/fu/mul/formal/.gitignore @@ -0,0 +1 @@ +*/*