From 95440b41be21ec588852dba488e4d0565e11fd18 Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Fri, 14 Oct 2022 15:25:17 -0400
Subject: [PATCH] Added preprocessing log directory to .gitignore.

---
 verification/verifast/.gitignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 verification/verifast/.gitignore

diff --git a/verification/verifast/.gitignore b/verification/verifast/.gitignore
new file mode 100644
index 000000000..1c0ce748b
--- /dev/null
+++ b/verification/verifast/.gitignore
@@ -0,0 +1 @@
+custom_build_scripts_RP2040/log_preprocessed_files