[z3-checkins] r34149 - in z3/deliverance: branches/old trunk

cabraham at codespeak.net cabraham at codespeak.net
Fri Nov 3 21:42:57 CET 2006


Author: cabraham
Date: Fri Nov  3 21:42:54 2006
New Revision: 34149

Added:
   z3/deliverance/branches/old/
      - copied from r34148, z3/deliverance/trunk/
Removed:
   z3/deliverance/trunk/
Log:
Retiring trunk for archival purposes


More information about the z3-checkins mailing list