Re: Error Index / Summary

On 28.07.01 at 08:31, Bjoern Hoehrmann <derhoermi@gmx.net> wrote:

>  * add option to limit reported errors with a usable default value

This was on my TODO for the next release but has been pushed back. I should
probably update todo.html to reflect this.

Received on Saturday, 28 July 2001 17:18:43 UTC