diff mx/.pydevproject @ 5589:728cf399b18d

fix NPE when using killCFG to delete an EndNode without a merge
author Lukas Stadler <lukas.stadler@jku.at>
date Wed, 13 Jun 2012 15:09:59 +0200
parents 527724d26036
children
line wrap: on
line diff