diff runbootstrap.sh @ 2704:efbdb3ea95c9

Remove critical edge split identification.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Wed, 18 May 2011 17:27:06 +0200
parents 5af7b38be963
children d577d07cedec
line wrap: on
line diff