[z3-checkins] r22494 - z3/Five/branch/jinty-testbrowser

jinty at codespeak.net jinty at codespeak.net
Mon Jan 23 00:32:25 CET 2006


Author: jinty
Date: Mon Jan 23 00:32:23 2006
New Revision: 22494

Removed:
   z3/Five/branch/jinty-testbrowser/
Log:
Remove obsolte branch.


More information about the z3-checkins mailing list