[z3-checkins] r9622 - z3/Five/branch/dc-traversal-issue

[Martijn Faassen]

philikon at codespeak.net wrote:
> Author: philikon
> Date: Fri Mar  4 12:24:59 2005
> New Revision: 9622
> 
> Removed:
>    z3/Five/branch/dc-traversal-issue/
> Log:
> get rid of now obsolete branch.
> 
> Sidnei, the merger still needs to be mentioned in CHANGES.txt...

I've fixed the CHANGES.txt myself, so Sidnei doesn't need to anything 
anymore. :)

Regards,

Martijn