[z3-checkins] r10849 - z3/Five/branch/regebro-standard_macros

philikon at codespeak.net philikon at codespeak.net
Tue Apr 19 14:12:37 MEST 2005


Author: philikon
Date: Tue Apr 19 14:12:37 2005
New Revision: 10849

Removed:
   z3/Five/branch/regebro-standard_macros/
Log:
get rid of no longer needed branch



More information about the z3-checkins mailing list