[z3-checkins] r19257 - in z3/sqlos/tag: 0.1 sqlos-0.1

dreamcatcher at codespeak.net dreamcatcher at codespeak.net
Mon Oct 31 17:14:27 CET 2005


Author: dreamcatcher
Date: Mon Oct 31 17:14:26 2005
New Revision: 19257

Added:
   z3/sqlos/tag/sqlos-0.1/
      - copied from r19256, z3/sqlos/tag/0.1/
Removed:
   z3/sqlos/tag/0.1/
Log:
Rename tag to match conventions



More information about the z3-checkins mailing list