From 60bf6b645339f785b18b0a01d83f0cb42e111c98 Mon Sep 17 00:00:00 2001 From: colepoirier Date: Tue, 9 Feb 2021 14:36:31 -0800 Subject: [PATCH] fix erroneous removal of proof* from experiment/formal/.gitignore, now proof*/** --- src/soc/experiment/formal/.gitignore | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/soc/experiment/formal/.gitignore b/src/soc/experiment/formal/.gitignore index 98d683d1..e7b8b111 100644 --- a/src/soc/experiment/formal/.gitignore +++ b/src/soc/experiment/formal/.gitignore @@ -1,2 +1,3 @@ +proof*/** *.il -*.vcd \ No newline at end of file +*.vcd -- 2.30.2