From 951b9c6adf84b1064a9f007f2ef13a8428d3ec77 Mon Sep 17 00:00:00 2001
From: jvallve <jvallve@iri.upc.edu>
Date: Mon, 31 Jan 2022 13:14:52 +0100
Subject: [PATCH] gitignore build

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

diff --git a/.gitignore b/.gitignore
index ca07eec..6ade3ad 100644
--- a/.gitignore
+++ b/.gitignore
@@ -27,3 +27,4 @@ sm/libcsm.dylib
 sm/lib/egsl/libegsl.a
 sm/lib/json-c/config.h
 sm/lib/json-c/libjson-c.a
+build
-- 
GitLab