From: Luke Kenneth Casson Leighton Date: Sun, 24 May 2020 19:47:53 +0000 (+0100) Subject: add gitignore for branch fu formal X-Git-Tag: div_pipeline~865 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=697cd998d61836188efabf589487f8f1a10a49ce;p=soc.git add gitignore for branch fu formal --- diff --git a/src/soc/fu/branch/formal/.gitignore b/src/soc/fu/branch/formal/.gitignore new file mode 100644 index 00000000..a7dc322d --- /dev/null +++ b/src/soc/fu/branch/formal/.gitignore @@ -0,0 +1 @@ +proof*formal