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

Philipp von Weitershausen philipp at weitershausen.de
Mon Jun 20 16:15:03 CEST 2005


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,

Philipp



More information about the z3-checkins mailing list