[z3-checkins] r27280 - z3/hurry.query/trunk

faassen at codespeak.net faassen at codespeak.net
Tue May 16 18:42:18 CEST 2006

Previous message: [z3-checkins] r27279 - z3/hurry.query/trunk
Next message: [z3-checkins] r27281 - z3/hurry.query/trunk
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Author: faassen
Date: Tue May 16 18:42:17 2006
New Revision: 27280

Removed:
   z3/hurry.query/trunk/
Log:
Going to create trunk as copy from hurry instead.

Previous message: [z3-checkins] r27279 - z3/hurry.query/trunk
Next message: [z3-checkins] r27281 - z3/hurry.query/trunk
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the z3-checkins mailing list