From 2be4543f6e525b83bccb2eb59ef926cfb473e03f Mon Sep 17 00:00:00 2001
From: Tobias Pfeiffer <pragtob@gmail.com>
Date: Thu, 9 Nov 2023 09:48:51 +0100
Subject: [PATCH] ignore dialyzer cache files

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 2bf8908..3115908 100644
--- a/.gitignore
+++ b/.gitignore
@@ -19,3 +19,6 @@ my.html
 /samples_output
 /output
 /benchmarks/output
+
+# dialyzer caching
+/tools
\ No newline at end of file