[z3-checkins] r27283 - z3/hurry.query/trunk

[faassen at codespeak.net]

Author: faassen
Date: Tue May 16 18:46:38 2006
New Revision: 27283

Removed:
   z3/hurry.query/trunk/VERSION.txt
Log:
Will maintain version information in setup.py.


Deleted: /z3/hurry.query/trunk/VERSION.txt
==============================================================================
--- /z3/hurry.query/trunk/VERSION.txt	Tue May 16 18:46:38 2006
+++ (empty file)
@@ -1 +0,0 @@
-0.8