Sylvestre Ledru a0ceaae352 * Update the list of openmp symbols (added): ... - omp_get_device_num - omp_get_initial_device - omp_get_num_devices		2019-01-17 10:41:48 +01:00
debian	* Update the list of openmp symbols (added):	2019-01-17 10:41:48 +01:00
.gitattributes	Improve the management of the merge on debian/changelog	2018-09-11 11:43:04 +02:00