[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