[PPL-devel] [GIT] ppl/w3ppl(master): Removed several spurious colons (':').
Roberto Bagnara
bagnara at cs.unipr.it
Sat Jul 25 15:19:16 CEST 2009
Module: ppl/w3ppl
Branch: master
Commit: 09ff40b15530f17700d99c22805a9d18e9a3adb3
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=09ff40b15530f17700d99c22805a9d18e9a3adb3
Author: Roberto Bagnara <bagnara at 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>
More information about the PPL-devel
mailing list