[z3-checkins] r22263 - z3/sqlos/branch/jinty-utilities

jinty at codespeak.net jinty at codespeak.net
Tue Jan 17 21:29:46 CET 2006

Previous message: [z3-checkins] r22262 - in z3/sqlos/trunk/src/sqlos: . ftests
Next message: [z3-checkins] r22440 - z3/pythonproducts
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Author: jinty
Date: Tue Jan 17 21:29:45 2006
New Revision: 22263

Removed:
   z3/sqlos/branch/jinty-utilities/
Log:
Delete merged branch.

Previous message: [z3-checkins] r22262 - in z3/sqlos/trunk/src/sqlos: . ftests
Next message: [z3-checkins] r22440 - z3/pythonproducts
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the z3-checkins mailing list