[z3-checkins] r27275 - z3/xicken/tag/0.2

tseaver at codespeak.net tseaver at codespeak.net
Tue May 16 14:39:48 CEST 2006

Previous message: [z3-checkins] r27274 - in z3/xicken/trunk: . src/xicken
Next message: [z3-checkins] r27278 - z3/hurry.query
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Author: tseaver
Date: Tue May 16 14:39:48 2006
New Revision: 27275

Added:
   z3/xicken/tag/0.2/
      - copied from r27274, z3/xicken/trunk/
Log:
Tag xicken-0.2 release.

Previous message: [z3-checkins] r27274 - in z3/xicken/trunk: . src/xicken
Next message: [z3-checkins] r27278 - z3/hurry.query
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the z3-checkins mailing list