From 5c3fad8b934bbf28fe39bc598a12cd99eba0d597 Mon Sep 17 00:00:00 2001
From: Kai Szuttor <kai@icp.uni-stuttgart.de>
Date: Tue, 3 Dec 2019 12:07:40 +0100
Subject: [PATCH 1/2] maintainer: add build dirs to .gitignore.

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

diff --git a/.gitignore b/.gitignore
index 2bf66e1a841..4a82f440af4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -59,3 +59,5 @@ doc/dg/background_errors.unsorted
 
 .ycm_extra_conf.py
 .ipynb_checkpoints
+
+build*/

From 67d078e46712ed6d8c049ec610a79aa17bdcf5f3 Mon Sep 17 00:00:00 2001
From: Kai Szuttor <kai@icp.uni-stuttgart.de>
Date: Tue, 3 Dec 2019 12:08:49 +0100
Subject: [PATCH 2/2] maintainer: gitignore cleanup.

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 4a82f440af4..397906dcf7c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,7 +12,6 @@ autom4te.cache
 .deps/
 myconfig.h
 myconfig.hpp
-build/
 CMakeFiles
 cmake-build*
 compile_commands.json