From 62108afac39c4d6923b967d2ba663436f94dfa58 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Sachse?= <Joerg.Sachse@slub-dresden.de>
Date: Fri, 30 Oct 2020 15:20:02 +0100
Subject: [PATCH] chore: ignore contents of ./iso/ subdirectory (it's a
 mountpoint and may contain data we don't want in Git)

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

diff --git a/.gitignore b/.gitignore
index c1bd755..0602192 100644
--- a/.gitignore
+++ b/.gitignore
@@ -77,6 +77,7 @@ tags
 #########
 
 build/
+iso/
 
 # temporary files #
 ###################
-- 
GitLab