Merge branch 'develop' into debian/sid
authorAndrea Zagli <azagli@libero.it>
Thu, 14 Feb 2019 15:39:26 +0000 (16:39 +0100)
committerAndrea Zagli <azagli@libero.it>
Thu, 14 Feb 2019 15:39:26 +0000 (16:39 +0100)
commita66f3be697aa69abab4836b7e5901a38e9f84b41
tree81e76e0f24f128400ed1b33ca795686a272ff40d
parent62cd1569d86086a696ccdfcf20482ff2f60c07d2
parent2b6c3503de8a670ff28d1adc75caa6d354425a51
Merge branch 'develop' into debian/sid
.gitignore