diff mx/.project @ 13791:2a43fba3d039

fix handling of skipped exceptions (must not cut off other exception types or unwind)
author Andreas Woess <andreas.woess@jku.at>
date Tue, 28 Jan 2014 22:55:50 +0100
parents 527724d26036
children
line wrap: on
line diff