projects / soc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f8a9686)
add gitignore for branch fu formal
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 24 May 2020 19:47:53 +0000 (20:47 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 24 May 2020 19:47:53 +0000 (20:47 +0100)
src/soc/fu/branch/formal/.gitignore [new file with mode: 0644] patch | blob

diff --git a/src/soc/fu/branch/formal/.gitignore b/src/soc/fu/branch/formal/.gitignore
new file mode 100644 (file)
index 0000000..a7dc322
--- /dev/null
+++ b/src/soc/fu/branch/formal/.gitignore
@@ -0,0 +1 @@
+proof*formal