Sylvestre Ledru b5cbf7ebaf Revert "make sure that we git pull when we checkout" ... This reverts commit 511e17677b.		2019-10-30 23:58:03 +01:00
debian	Revert "make sure that we git pull when we checkout"	2019-10-30 23:58:03 +01:00
.gitattributes	Improve the management of the merge on debian/changelog	2018-09-11 11:43:04 +02:00