summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2007-07-08 18:44:02 +0000
committeraarne <aarne@cs.chalmers.se>2007-07-08 18:44:02 +0000
commit057eadd57e7160985515a5760d98e3d287a8109c (patch)
tree245a72e2cc1ac238144a43365daeccf51fca7766
parent877b9d8cc0b3c9eb9fd1e780ab4c1dade4d65a46 (diff)
name of the link
-rw-r--r--index.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/index.html b/index.html
index 0af27e787..e35119088 100644
--- a/index.html
+++ b/index.html
@@ -23,7 +23,7 @@ July 8, 2007.
"doc">Documentation</a>
|
<a href=
-"download">Download</a>
+"tmp-download.html">Download</a>
|
<a href=
"http://www.cs.chalmers.se/Cs/Research/Language-technology/darcs/GF/doc/darcs.html">Developers</a>