diff options
| -rw-r--r-- | index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/index.html b/index.html index 6512527d1..0af27e787 100644 --- a/index.html +++ b/index.html @@ -23,7 +23,7 @@ July 8, 2007. "doc">Documentation</a> | <a href= -"http://sourceforge.net/project/showfiles.php?group_id=132285">Download</a> +"download">Download</a> | <a href= "http://www.cs.chalmers.se/Cs/Research/Language-technology/darcs/GF/doc/darcs.html">Developers</a> |