Nathalie Furmento 0d5e6b738c mpi/include/starpu_mpi.h: remove documentation as it is already defined elsewhere vor 12 Jahren
..
starpu_mpi.h 0d5e6b738c mpi/include/starpu_mpi.h: remove documentation as it is already defined elsewhere vor 12 Jahren