aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErik Schnetter <schnetter@aei.mpg.de>2004-12-10 22:42:00 +0000
committerErik Schnetter <schnetter@aei.mpg.de>2004-12-10 22:42:00 +0000
commitb2841c060c49c8ea490a5c493b01a6a6d87fb17b (patch)
treec5421b640964345806bdd7d422cfd7bec2bcbba0
parentde335373e44e5abcbfe8453a48cbb438726af3ba (diff)
CarpetWeb: Update darcs executable to version 1.0.1rc2
darcs-hash:20041210224231-891bb-7d406894f31b628d7d5a18c4cb6f71bd2396a7e8.gz
-rw-r--r--Carpet/CarpetWeb/binaries/darcs-1.0.0-static-linux-i386.gzbin2424468 -> 0 bytes
-rw-r--r--Carpet/CarpetWeb/binaries/darcs-1.0.1rc2-static-linux-i386.gzbin0 -> 2475517 bytes
-rw-r--r--Carpet/CarpetWeb/get-carpet-darcs.html4
3 files changed, 2 insertions, 2 deletions
diff --git a/Carpet/CarpetWeb/binaries/darcs-1.0.0-static-linux-i386.gz b/Carpet/CarpetWeb/binaries/darcs-1.0.0-static-linux-i386.gz
deleted file mode 100644
index c90a8d46d..000000000
--- a/Carpet/CarpetWeb/binaries/darcs-1.0.0-static-linux-i386.gz
+++ /dev/null
Binary files differ
diff --git a/Carpet/CarpetWeb/binaries/darcs-1.0.1rc2-static-linux-i386.gz b/Carpet/CarpetWeb/binaries/darcs-1.0.1rc2-static-linux-i386.gz
new file mode 100644
index 000000000..2a5a1c005
--- /dev/null
+++ b/Carpet/CarpetWeb/binaries/darcs-1.0.1rc2-static-linux-i386.gz
Binary files differ
diff --git a/Carpet/CarpetWeb/get-carpet-darcs.html b/Carpet/CarpetWeb/get-carpet-darcs.html
index 3a3f8a8b5..2630896d2 100644
--- a/Carpet/CarpetWeb/get-carpet-darcs.html
+++ b/Carpet/CarpetWeb/get-carpet-darcs.html
@@ -48,7 +48,7 @@
installing or using darcs in general, then you should ask on the
darcs mailing list, which I (Erik Schnetter) read regularly. We
have also prepared a <a
- href="binaries/darcs-1.0.0-static-linux-i386.gz">gzipped,
+ href="binaries/darcs-1.0.1rc2-static-linux-i386.gz">gzipped,
statically linked version for Linux/i386</a>.</p>
<p>By the way, you can also have a look at <a
@@ -123,7 +123,7 @@ darcs pull</pre>
<address><a href="mailto:schnetter@uni-tuebingen.de">Erik Schnetter</a></address>
<!-- Created: Tue Sep 28 16:52:20 CEST 2004 -->
<!-- hhmts start -->
-Last modified: Tue Dec 7 17:05:01 CET 2004
+Last modified: Fri Dec 10 23:42:00 CET 2004
<!-- hhmts end -->
</body>
</html>