Go to file
2018-11-01 10:55:29 +01:00
debian clang-7 suggests libomp-7-dev instead of libomp-dev 2018-11-01 10:55:29 +01:00
.gitattributes Improve the management of the merge on debian/changelog 2018-09-11 11:43:04 +02:00