aboutsummaryrefslogtreecommitdiff
path: root/lib/mpi/mpiutil.c
diff options
context:
space:
mode:
authormartin coulon <martinusbe@gmail.com>2018-07-04 20:23:12 +0200
committerGitHub <noreply@github.com>2018-07-04 20:23:12 +0200
commit32769b627546b549eaaa5e60dfa761a38f87da88 (patch)
tree01f917eeb89415aaf4fa5a366f4f72afe8680da5 /lib/mpi/mpiutil.c
parent913a764a8eb67242dfc0455c87dce93e64786a0d (diff)
parentd718f72e19e90969cd89a92b3d9dea2f9de91319 (diff)
Merge pull request #50 from nathanchance/8.1
Merge 3.18.114 into 8.1
Diffstat (limited to 'lib/mpi/mpiutil.c')
0 files changed, 0 insertions, 0 deletions