From e566ca34a3fd246a4535c458ae47ff7ea62e2de7 Mon Sep 17 00:00:00 2001
From: Automation Bot <noreply@epfl.ch>
Date: Thu, 13 Feb 2003 13:38:33 +0000
Subject: New repository initialized by cvs2svn.

---
 tools/push.jar.desired.sha1 | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 tools/push.jar.desired.sha1

(limited to 'tools/push.jar.desired.sha1')

diff --git a/tools/push.jar.desired.sha1 b/tools/push.jar.desired.sha1
new file mode 100644
index 0000000000..53d566f525
--- /dev/null
+++ b/tools/push.jar.desired.sha1
@@ -0,0 +1 @@
+de5d3eb21a732e4bce44c283ccfbd1ed94bfeaed ?push.jar
-- 
cgit v1.2.3