diff options
| -rw-r--r-- | download.html (renamed from tmp-download.html) | 0 | ||||
| -rw-r--r-- | index.html | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/tmp-download.html b/download.html index 8a3286c34..8a3286c34 100644 --- a/tmp-download.html +++ b/download.html 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> |