Jack Grigg 7bd700b100 Revert "Check if OpenMP is available before using it" ... This reverts commit daad2c2736.		2019-08-22 15:42:50 +01:00
..
m4	Revert "Check if OpenMP is available before using it"	2019-08-22 15:42:50 +01:00