[z3-checkins] r13856 - z3/pipelines/trunk
ivo at codespeak.net
ivo at codespeak.net
Sat Jun 25 16:11:35 CEST 2005
Author: ivo
Date: Sat Jun 25 16:11:34 2005
New Revision: 13856
Removed:
z3/pipelines/trunk/svn-commit.tmp
Log:
cleanup
Deleted: /z3/pipelines/trunk/svn-commit.tmp
==============================================================================
--- /z3/pipelines/trunk/svn-commit.tmp Sat Jun 25 16:11:34 2005
+++ (empty file)
@@ -1,4 +0,0 @@
-Add work-in-progress code for Ivo to extend.
---This line, and those below, will be ignored--
-
-A .
More information about the z3-checkins
mailing list