From 31276a775bea77e6fdb851a824469ea990ca22a8 Mon Sep 17 00:00:00 2001
From: Bernhard Heinloth <heinloth@cs.fau.de>
Date: Wed, 24 May 2023 18:49:38 +0200
Subject: [PATCH] ignore cache files in git

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

diff --git a/.gitignore b/.gitignore
index 172dc2d..1c4cedf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,4 +6,6 @@
 */result-*
 !*/src-test
 */*-cache
+*/.test-cache.db
+zlib/foo.gz
 */[0-9a-f][0-9a-f][0-9a-f][0-9a-f][0-9a-f][0-9a-f][0-9a-f][0-9a-f]*/
-- 
GitLab