projects / soc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 60bf6b6)
add missing newline at end of experiment/formal/.gitignore
authorcolepoirier <colepoirier@gmail.com>
Tue, 9 Feb 2021 22:38:47 +0000 (14:38 -0800)
committercolepoirier <colepoirier@gmail.com>
Tue, 9 Feb 2021 22:38:47 +0000 (14:38 -0800)
src/soc/experiment/formal/.gitignore patch | blob | history

diff --git a/src/soc/experiment/formal/.gitignore b/src/soc/experiment/formal/.gitignore
index e7b8b1117035e01255a178b94291bfddd9e71874..92124868fca6ef6b4b93e8a53ad25b2dd2b121ce 100644 (file)
--- a/src/soc/experiment/formal/.gitignore
+++ b/src/soc/experiment/formal/.gitignore
@@ -1,3 +1,4 @@
 proof*/**
 *.il
 *.vcd
+