diff libmenu/menu.h @ 36354:c728ba2a3f70

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