Sylvestre Ledru 7d63b357f5 * Try to bootstrap (currently in a different branch) ... * Split the builds in different make target		2018-10-09 10:54:06 +02:00
debian	* Try to bootstrap (currently in a different branch)	2018-10-09 10:54:06 +02:00
.gitattributes	Improve the management of the merge on debian/changelog	2018-09-11 11:43:04 +02:00