[z3-checkins] r21077 - z3/sqlos/branch/andres-db
andres at codespeak.net
andres at codespeak.net
Mon Dec 12 14:38:57 CET 2005
Author: andres
Date: Mon Dec 12 14:38:56 2005
New Revision: 21077
Removed:
z3/sqlos/branch/andres-db/
Log:
Useless branch.
More information about the z3-checkins
mailing list