Sylvestre Ledru 358d292008 delete the manpage install when not building with the doc		2023-10-05 14:05:05 +02:00
debian	delete the manpage install when not building with the doc	2023-10-05 14:05:05 +02:00
.gitattributes	Improve the management of the merge on debian/changelog	2018-09-11 11:43:04 +02:00