[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