Refresh 01-gnulib-directory.patch
[gnulib.git] / modules / openmp
2007-05-27 Bruno HaibleNew module 'openmp'.