diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/index.html b/index.html index 8994b76ee..bf39e8ea1 100644 --- a/index.html +++ b/index.html @@ -23,7 +23,7 @@ July 8, 2007. "doc">Documentation</a> | <a href= -"tmp-download.html">Download</a> +"download.html">Download</a> | <a href= "http://www.cs.chalmers.se/Cs/Research/Language-technology/darcs/GF/doc/darcs.html">Developers</a> |