[z3-checkins] r9886 - z3/stitchtest

faassen at codespeak.net faassen at codespeak.net
Fri Mar 18 14:05:55 MET 2005

Previous message: [z3-checkins] r9885 - z3/zemantic/trunk/src/zemantic
Next message: [z3-checkins] r9887 - in z3/zemantic/trunk/src/zemantic: . tests
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Author: faassen
Date: Fri Mar 18 14:05:55 2005
New Revision: 9886

Removed:
   z3/stitchtest/
Log:
Remove this as it's not used anymore.

Previous message: [z3-checkins] r9885 - z3/zemantic/trunk/src/zemantic
Next message: [z3-checkins] r9887 - in z3/zemantic/trunk/src/zemantic: . tests
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the z3-checkins mailing list