[z3-checkins] r44549 - in z3/deliverance: branches/Attic trunk/Attic

ianb at codespeak.net ianb at codespeak.net
Tue Jun 26 20:26:02 CEST 2007


Author: ianb
Date: Tue Jun 26 20:26:02 2007
New Revision: 44549

Added:
   z3/deliverance/branches/Attic/
      - copied from r44548, z3/deliverance/trunk/Attic/
Removed:
   z3/deliverance/trunk/Attic/
Log:
Move old (Attic) stuff out of trunk


More information about the z3-checkins mailing list