Re: [PATCH] Add a transition collision detector.

[Niels Thykier <niels@thykier.net>]

On 2012-02-05 22:13, Cyril Brulebois wrote:
> While this post-processing of generated HTML files is kind of ugly, it
> makes it easy to show which transitions might be entangled due to
> collisions.
> [...]

I am in favor of using this as a temporary solution until Ben gets a
similar feature.

~Niels