Merge branch 'develop' into debian/wheezy

author Andrea Zagli <azagli@libero.it>

Wed, 23 Oct 2019 08:11:44 +0000 (10:11 +0200)

committer Andrea Zagli <azagli@libero.it>

Wed, 23 Oct 2019 08:11:44 +0000 (10:11 +0200)
author Andrea Zagli <azagli@libero.it>
Wed, 23 Oct 2019 08:11:44 +0000 (10:11 +0200)
committer Andrea Zagli <azagli@libero.it>
Wed, 23 Oct 2019 08:11:44 +0000 (10:11 +0200)
diff --cc .gitignore

index 2488e9db9cc76eab9c1b4731b5922a0378d1d1ba,99cef6d04b143a7aa3fc5e918fcd1780f0866722..f9aef87acfd71940f5f47103d8b01530fa7acb48
--- 1/.gitignore
--- 2/.gitignore
+++ b/.gitignore
@@@ -56,4 -58,6 +58,7 @@@ tests/metastor
   *~
   *.gir
   *.typelib
- -*.csv
+ +build/
+ tools/*.exe
+ tools/gdaex_exp_csv
++*.csv
author	Andrea Zagli <azagli@libero.it>
	Wed, 23 Oct 2019 08:11:44 +0000 (10:11 +0200)
committer	Andrea Zagli <azagli@libero.it>
	Wed, 23 Oct 2019 08:11:44 +0000 (10:11 +0200)