[z3-checkins] Re: r13620 - z3/Five/trunk/tests

[Lennart Regebro]

On 6/20/05, Philipp von Weitershausen <philipp at weitershausen.de> wrote:
> regebro at codespeak.net wrote:
> > Author: regebro
> > Date: Mon Jun 20 15:56:03 2005
> > New Revision: 13620
> >
> > Modified:
> >    z3/Five/trunk/tests/test_event.py
> > Log:
> > Removed a tab
> 
> Bad me... Thanks,

Actually, I think some of these have been there for quite a while...

(Well, could still be your fault I guess... ;)