[z3-five] Re: Cleaning up branches

Martijn Faassen faassen at infrae.com
Fri Mar 4 16:23:41 MET 2005


Lennart Regebro wrote:
> Philipp von Weitershausen wrote:
> 
>> Ok, so I'm keeping dc-traversal-issue and regebro-addform-directive. 
>> What about menu_refactoring?
>  
> Martijn, you merged that one, right?

I basically took menu code (and added some tests) from your magic merged 
sandbox, so I think yes, that's been put in there now.

Regards,

Martijn


More information about the z3-five mailing list