Folder build/ ignored.

cesaro · Degiorgio · commit d978ef96f9f9 · 2018-01-22T10:39:26.000Z
This is needed due the to the introduction of cmake, which by
convention generates build files in a folder named "build"
diff --git a/.gitignore b/.gitignore
@@ -117,6 +117,7 @@ src/ansi-c/library/converter
 src/ansi-c/library/converter.exe
 src/util/irep_ids_convert
 src/util/irep_ids_convert.exe
+build/
 
 *.pyc
 
