[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