diff loader/ext.h @ 36354:c728ba2a3f70

Fix possible crash when mpi is NULL.
author reimar
date Thu, 19 Sep 2013 17:54:59 +0000
parents 9e739bdb049c
children
line wrap: on
line diff