[PPL-devel] [GIT] ppl/w3ppl(master): Typo fixed.

Roberto Bagnara bagnara at cs.unipr.it
Mon Mar 30 21:25:40 CEST 2009


Module: ppl/w3ppl
Branch: master
Commit: 5387e5987dcd6228f2aa1433b2c8d7191e4f5b79
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=5387e5987dcd6228f2aa1433b2c8d7191e4f5b79

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Mar 30 21:25:22 2009 +0200

Typo fixed.

---

 htdocs/Download/Git.raw |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/htdocs/Download/Git.raw b/htdocs/Download/Git.raw
index 4999d0b..43dc890 100644
--- a/htdocs/Download/Git.raw
+++ b/htdocs/Download/Git.raw
@@ -105,7 +105,7 @@ web pages.  To fully clone it, do, e.g.,
 
 <P>
 If you are behind a firewall that only allows you access to the outside
-word via http (possibly with the intermediation of a proxy), you can use
+world via HTTP (possibly with the intermediation of a proxy), you can use
 the alternative commands
 </P>
 <BLOCKQUOTE>




More information about the PPL-devel mailing list