[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