projects / soc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: dbda4f9)
add formal_test_temp to .gitignore
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 10 Dec 2021 21:32:20 +0000 (13:32 -0800)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 10 Dec 2021 21:55:18 +0000 (13:55 -0800)
.gitignore patch | blob | history

diff --git a/.gitignore b/.gitignore
index d48dc7ff1f94bf7d776c91bb0774f1be6d66c98f..3478b52cb0cb70cc0f8c1db298f740628cef3894 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -10,7 +10,7 @@ Waveforms
 *.il
 **/*.gtkw
 .eggs
-
+formal_test_temp
 .vscode/*
 build
 gen