view mx.sh @ 6440:a0193f6d855c

MembarNode does not need state and has no side effects, so it needs not be a StateSplit
author Christian Wimmer <christian.wimmer@oracle.com>
date Tue, 25 Sep 2012 09:21:52 -0700
parents 9a4f210abb5e
children
line wrap: on
line source

mxtool/mx