diff runfilter.sh @ 3643:ce5841053fc9

Make CFG filter work better in cooperation with Begin-End reduction
author Gilles Duboscq <gilles.m.duboscq@gmail.com>
date Wed, 16 Nov 2011 15:13:29 +0100
parents e82da3a1bbc9
children
line wrap: on
line diff