Trivial fix. Pushed. Gerald --- htdocs/git.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/htdocs/git.html b/htdocs/git.html index 22c0eec1..a6e88566 100644 --- a/htdocs/git.html +++ b/htdocs/git.html @@ -236,7 +236,7 @@ additional branches can also be fetched if necessary.</p> </ul> <p>You can download any of the additional branches by adding a suitable -fetch specification to your local copy of the git repostiory. For +fetch specification to your local copy of the git repository. For example, if your remote is called 'origin' (the default with git clone) you can add the 'dead' development branches by running:</p> -- 2.45.0