Module: ppl/w3ppl Branch: master Commit: 5387e5987dcd6228f2aa1433b2c8d7191e4f5b79 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=5387e5987dc...
Author: Roberto Bagnara bagnara@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>