Merge branch 'refs/heads/t/ubsan'

[paraslash.git] / web / download.in.html

diff --git a/web/download.in.html b/web/download.in.html
index 1ca8a4d20c4624fe8e67dcbacd4e1f16c6f5931d..b2b1f5fabbcc980cf852c1d5c5c177583ea693f9 100644 (file)
--- a/web/download.in.html
+++ b/web/download.in.html
@@ -15,11 +15,11 @@ provided at this point. There are several ways to download the source:
 
                <p> The repository contains the full history of the
                project since 2006, all work in progress and the source
-               code for the web pages. Choosing this option allows to
-               check out any of the four integration branches maint,
+               code for the web pages. Choosing this option allows the
+               checkout of any of the four integration branches maint,
                master, next, pu (see the
 
-               <a href="manual.html#Git.branches">Git branches</a>
+               <a href="manual.html#Git-branches">Git branches</a>
 
                section of the manual). All previous releases
                correspond to tagged commits and may be checked out
@@ -68,7 +68,7 @@ provided at this point. There are several ways to download the source:
                        <a href="http://git.tuebingen.mpg.de/paraslash.git">gitweb</a>
 
                page contains a snapshot link for each revision. This
-               allows to get a specific revision without downloading
+               allows getting a specific revision without downloading
                the full history.
 
        </li>