From 5c9c808b1aeff57cc03357eb64782d69cfd21d5c Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Thu, 7 Jun 2018 22:44:57 +0200
Subject: [PATCH] git: ignore build directory

---
 .gitignore | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index f5e312c..c9ba4a0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,4 @@
 # Visual Studio Code user files
-.vscode/
\ No newline at end of file
+.vscode/
+
+build/