diff mx/sanitycheck.py @ 4617:113d66f7454d

Add merge-before-loopend simplification for merges
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 16 Feb 2012 14:43:05 +0100
parents 7903b6c28f9c
children 77a997c2bf4e
line wrap: on
line diff