Re: [PATCH] Add a transition collision detector.

[Niels Thykier <niels@thykier.net>]

On 2012-02-09 18:21, Niels Thykier wrote:
> 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
> 
> 

Applied (for the people not on IRC).

~Niels