[z3-checkins] r9805 - z3/stitchtest/trunk
faassen at codespeak.net
faassen at codespeak.net
Tue Mar 15 17:21:03 MET 2005
Author: faassen
Date: Tue Mar 15 17:21:03 2005
New Revision: 9805
Removed:
z3/stitchtest/trunk/svn-commit.tmp
Log:
test checkin
Deleted: /z3/stitchtest/trunk/svn-commit.tmp
==============================================================================
--- /z3/stitchtest/trunk/svn-commit.tmp Tue Mar 15 17:21:03 2005
+++ (empty file)
@@ -1,4 +0,0 @@
-Initial import of stitchtest, just to test stuff.
---This line, and those below, will be ignored--
-
-A .
More information about the z3-checkins
mailing list