[z3-checkins] r18144 - z3/Five/branch/Five-1.1

philikon at codespeak.net philikon at codespeak.net
Tue Oct 4 17:58:32 CEST 2005


Author: philikon
Date: Tue Oct  4 17:58:26 2005
New Revision: 18144

Modified:
   z3/Five/branch/Five-1.1/version.txt
Log:
bump version number


Modified: z3/Five/branch/Five-1.1/version.txt
==============================================================================
--- z3/Five/branch/Five-1.1/version.txt	(original)
+++ z3/Five/branch/Five-1.1/version.txt	Tue Oct  4 17:58:26 2005
@@ -1 +1 @@
-Five 1.1b
+Five 1.1


More information about the z3-checkins mailing list