Merge branch 'refs/heads/t/clean_server_exit'

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

diff --git a/web/download.in.html b/web/download.in.html
index 1ca8a4d20c4624fe8e67dcbacd4e1f16c6f5931d..9ef92b7af654ec06f193ad5dd3941648b82a83b8 100644 (file)
--- a/web/download.in.html
+++ b/web/download.in.html
@@ -15,8 +15,8 @@ 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>
@@ -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>