[z3-checkins] r40495 - in z3/NudgeNudge: . branches tags trunk

philikon at codespeak.net philikon at codespeak.net
Wed Mar 14 19:31:56 CET 2007

Previous message: [z3-checkins] r40494 - z3/deliverance/DeliveranceDemo/trunk/ddemo
Next message: [z3-checkins] r40496 - in z3/NudgeNudge/trunk: . bootstrap src src/NudgeNudge.egg-info src/nudgenudge src/nudgenudge/app_templates src/nudgenudge/static
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Author: philikon
Date: Wed Mar 14 19:31:54 2007
New Revision: 40495

Added:
   z3/NudgeNudge/
   z3/NudgeNudge/branches/
   z3/NudgeNudge/tags/
   z3/NudgeNudge/trunk/
Log:
New project NudgeNudge

Previous message: [z3-checkins] r40494 - z3/deliverance/DeliveranceDemo/trunk/ddemo
Next message: [z3-checkins] r40496 - in z3/NudgeNudge/trunk: . bootstrap src src/NudgeNudge.egg-info src/nudgenudge src/nudgenudge/app_templates src/nudgenudge/static
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the z3-checkins mailing list