From 4b7a7dad0d66c4853f732f55297b5730495e0db2 Mon Sep 17 00:00:00 2001
From: cladmi <gaetan.harter@fu-berlin.de>
Date: Wed, 17 Oct 2018 21:32:26 +0200
Subject: [PATCH] gitignore: ignore 'build' directory

The 'build' directory should not be tracked by git.
---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index 74aeebbddd..c5f6b8d4b6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,6 +9,8 @@ doc/doxygen/*.db
 doc/doxygen/*.tmp
 # Built binaries
 *bin
+# Build directory
+/build
 # Backup files
 *~
 *.orig
-- 
GitLab