[z3-checkins] r33076 - z3/deliverance/branches/packaged/deliverance/tests

cabraham at codespeak.net cabraham at codespeak.net
Mon Oct 9 22:09:20 CEST 2006

Previous message: [z3-checkins] r33075 - in z3/deliverance/branches/packaged/deliverance: . test-data test-data/nabuur test-data/nycsr test-data/static
Next message: [z3-checkins] r33117 - z3/deliverance/branches/packaged/deliverance
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Author: cabraham
Date: Mon Oct  9 22:08:59 2006
New Revision: 33076

Removed:
   z3/deliverance/branches/packaged/deliverance/tests/
Log:
deletes old tests

Previous message: [z3-checkins] r33075 - in z3/deliverance/branches/packaged/deliverance: . test-data test-data/nabuur test-data/nycsr test-data/static
Next message: [z3-checkins] r33117 - z3/deliverance/branches/packaged/deliverance
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the z3-checkins mailing list