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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Jul 25 15:18:56 2009 +0200

Removed several spurious colons (':').

---

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

diff --git a/htdocs/Download/Git.raw b/htdocs/Download/Git.raw index 3ec3b90..4ac7448 100644 --- a/htdocs/Download/Git.raw +++ b/htdocs/Download/Git.raw @@ -101,10 +101,10 @@ world via HTTP (possibly with the intermediation of a proxy), you can use the alternative commands </P> <BLOCKQUOTE> - <CODE>git clone http://www.cs.unipr.it:/git/ppl/ppl.git</CODE> + <CODE>git clone http://www.cs.unipr.it/git/ppl/ppl.git</CODE> </BLOCKQUOTE> <BLOCKQUOTE> - <CODE>git clone http://www.cs.unipr.it:/git/ppl/w3ppl.git</CODE> + <CODE>git clone http://www.cs.unipr.it/git/ppl/w3ppl.git</CODE> </BLOCKQUOTE>

@@ -157,10 +157,10 @@ solve this problem first. Issue the command </P> <BLOCKQUOTE> - <CODE>git clone ssh://myusername@git.cs.unipr.it:/git/ppl/ppl.git ppl</CODE> + <CODE>git clone ssh://myusername@git.cs.unipr.it/git/ppl/ppl.git ppl</CODE> </BLOCKQUOTE> <BLOCKQUOTE> - <CODE>git clone ssh://myusername@git.cs.unipr.it:/git/ppl/w3ppl.git w3ppl</CODE> + <CODE>git clone ssh://myusername@git.cs.unipr.it/git/ppl/w3ppl.git w3ppl</CODE> </BLOCKQUOTE> <P> to clone the PPL source or the PPL web repositories, respectively. @@ -170,7 +170,7 @@ to clone the PPL source or the PPL web repositories, respectively. After the initial checkout, you can change into one of the project's directories and execute most Git commands omitting -the <CODE>ssh://myusername@git.cs.unipr.it:/git/ppl/ppl.git</CODE> argument. +the <CODE>ssh://myusername@git.cs.unipr.it/git/ppl/ppl.git</CODE> argument. For example, whenever you want to merge with the latest code changes, <CODE>cd</CODE> into your <CODE>ppl</CODE> directory and issue </P> @@ -292,7 +292,7 @@ basic CVS commands and their Git counterparts. <PRE> cvs -d ssh://myusername@git.cs.unipr.it/cvs/ppl checkout ppl | -+---> git clone ssh://myusername@git.cs.unipr.it:/git/ppl/ppl.git ++---> git clone ssh://myusername@git.cs.unipr.it/git/ppl/ppl.git </PRE>

@@ -300,7 +300,7 @@ cvs -d ssh://myusername@git.cs.unipr.it/cvs/ppl checkout ppl <PRE> cvs -d ssh://myusername@git.cs.unipr.it:/cvs/ppl checkout -r products ppl | -+---> git clone ssh://myusername@git.cs.unipr.it:/git/ppl/ppl.git ++---> git clone ssh://myusername@git.cs.unipr.it/git/ppl/ppl.git git checkout -b products origin/products </PRE>