From 1a5d1c6ca47d7a640c788b99d20fc68ac98b2975 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Kochma=C5=84ski?= <daniel@turtleware.eu>
Date: Mon, 22 May 2023 10:16:17 +0200
Subject: [PATCH] .gitignore: add the directory /local as ignored

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 573cff5ee..dd899078d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,7 @@
 \#*
 
 /build
+/local
 cov-int
 
 *.data