[z3-checkins] r18244 - z3/sqlos/branch/jinty-3.0-fix_the_tests

[jinty at codespeak.net]

Author: jinty
Date: Fri Oct  7 09:15:49 2005
New Revision: 18244

Added:
   z3/sqlos/branch/jinty-3.0-fix_the_tests/
      - copied from r18243, z3/sqlos/trunk/
Log:
Make a branch for me to prepare fixes for the trunk. Feel free to review and merge from here