From 054bf286f347aa56a0a992dc73feea1d34b12bb5 Mon Sep 17 00:00:00 2001
From: Helmut Grohne <helmut@subdivi.de>
Date: Wed, 21 May 2025 21:46:24 +0200
Subject: extend .gitignore for more tool-generated files

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

diff --git a/.gitignore b/.gitignore
index a2eeca3..2c9537e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,5 @@
 __pycache__
+.coverage
 .mypy_cache
+.hypothesis
 .pytest_cache
-- 
cgit v1.2.3