Sylvestre Ledru 0197a4349a Replace make by ninja for the build process It is now more tested than make by upstream And it is supposed to be faster Removed openmp/bootstrap-with-openmp-version-export-missing.diff as it seems that the ninja move fixed it		2021-09-18 19:30:53 +02:00
debian	Replace make by ninja for the build process It is now more tested than make by upstream And it is supposed to be faster Removed openmp/bootstrap-with-openmp-version-export-missing.diff as it seems that the ninja move fixed it	2021-09-18 19:30:53 +02:00
.gitattributes	Improve the management of the merge on debian/changelog	2018-09-11 11:43:04 +02:00