diff make/defs.make @ 15209:f52e47b757b9

Loop transform: mark states from all NodeWithStates not just StateSplit
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 17 Apr 2014 19:30:37 +0200
parents 4ca6dc0799b6
children 0583d157992a
line wrap: on
line diff