From d647da4a3284c9411cbf378380c63c8c1148d505 Mon Sep 17 00:00:00 2001 From: colepoirier Date: Tue, 9 Feb 2021 14:38:47 -0800 Subject: [PATCH] add missing newline at end of experiment/formal/.gitignore --- src/soc/experiment/formal/.gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/src/soc/experiment/formal/.gitignore b/src/soc/experiment/formal/.gitignore index e7b8b111..92124868 100644 --- a/src/soc/experiment/formal/.gitignore +++ b/src/soc/experiment/formal/.gitignore @@ -1,3 +1,4 @@ proof*/** *.il *.vcd + -- 2.30.2