Go to file
2018-10-05 06:40:09 +00:00
debian Add check-openmp to test OpenMP 2018-10-05 06:40:09 +00:00
.gitattributes Improve the management of the merge on debian/changelog 2018-09-11 11:43:04 +02:00