[z3-checkins] r5204 - z3/Five/trunk/directives

faassen at codespeak.net faassen at codespeak.net
Mon Jun 21 18:53:25 MEST 2004

Previous message: [z3-checkins] r5203 - z3/Five/trunk/tests
Next message: [z3-checkins] r5205 - z3/Five/trunk
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Author: faassen
Date: Mon Jun 21 18:53:25 2004
New Revision: 5204

Removed:
   z3/Five/trunk/directives/
Log:
Remove directives package, not necessary anymore.

Previous message: [z3-checkins] r5203 - z3/Five/trunk/tests
Next message: [z3-checkins] r5205 - z3/Five/trunk
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the z3-checkins mailing list