diff gui/win32/preferences.c @ 34817:326242b21831

Do not return void type and remove broken duplicate code. The second copy of that code would only be run after we already tried to use mpi pointer, which means in the case it was supposed to handle we had already crashed.
author reimar
date Tue, 15 May 2012 21:18:39 +0000
parents b74a8e55c632
children 7bb176fac55c
line wrap: on
line diff