From: Jacob Lifshay <programmerjake@gmail.com>
Date: Fri, 10 Dec 2021 21:32:20 +0000 (-0800)
Subject: add formal_test_temp to .gitignore
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f31101e483f25e53862f4394019cc250a583a7b6;p=soc.git

add formal_test_temp to .gitignore
---

diff --git a/.gitignore b/.gitignore
index d48dc7ff..3478b52c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,7 +10,7 @@ Waveforms
 *.il
 **/*.gtkw
 .eggs
-
+formal_test_temp
 .vscode/*
 build
 gen