[z3-checkins] r43993 - z3/NudgeNudge/branches/indexes-refactoring

philikon at codespeak.net philikon at codespeak.net
Sat Jun 2 15:32:50 CEST 2007

Previous message: [z3-checkins] r43992 - z3/NudgeNudge/trunk/src/nudgenudge
Next message: [z3-checkins] r43994 - z3/NudgeNudge/trunk
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Author: philikon
Date: Sat Jun  2 15:32:49 2007
New Revision: 43993

Removed:
   z3/NudgeNudge/branches/indexes-refactoring/
Log:
Get rid of no longer needed branch

Previous message: [z3-checkins] r43992 - z3/NudgeNudge/trunk/src/nudgenudge
Next message: [z3-checkins] r43994 - z3/NudgeNudge/trunk
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the z3-checkins mailing list