From 9873a148f2c3ed9171749e840e3d781a10f723c5 Mon Sep 17 00:00:00 2001
From: Luca Frosini <luca.frosini@isti.cnr.it>
Date: Thu, 8 Oct 2020 13:49:48 +0200
Subject: [PATCH] Ignored generated directory

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

diff --git a/.gitignore b/.gitignore
index 0f44a0f..4110018 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 /target/
 /.classpath
+/bin/