Merge branch 'develop' into debian/sid

author Andrea Zagli <azagli@libero.it>

Sat, 1 Jun 2019 06:40:26 +0000 (08:40 +0200)

committer Andrea Zagli <azagli@libero.it>

Sat, 1 Jun 2019 06:40:26 +0000 (08:40 +0200)
author Andrea Zagli <azagli@libero.it>
Sat, 1 Jun 2019 06:40:26 +0000 (08:40 +0200)
committer Andrea Zagli <azagli@libero.it>
Sat, 1 Jun 2019 06:40:26 +0000 (08:40 +0200)
diff --cc .gitignore

index 851b0a5db820eeecc65ef058a9f50feb96bbec00,830881cf75671392562bd518023fef93ea7f8e39..aad43ead03ff659e736fdad5d0564615ef4a1229
--- 1/.gitignore
--- 2/.gitignore
+++ b/.gitignore
@@@ -53,7 -53,7 +53,8 @@@ tests/*.ex
   tests/select
   tests/getsql
   tests/sqlbuilder
+ tests/metastore
   *~
+ +build/
   *.gir
- -*.typelib
+ +*.typelib
author	Andrea Zagli <azagli@libero.it>
	Sat, 1 Jun 2019 06:40:26 +0000 (08:40 +0200)
committer	Andrea Zagli <azagli@libero.it>
	Sat, 1 Jun 2019 06:40:26 +0000 (08:40 +0200)