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

Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon Feb 23 08:54:41 2009 +0000

Spelling corrected.

---

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 2cb8345..4eda8a0 100644 --- a/htdocs/Download/Git.raw +++ b/htdocs/Download/Git.raw @@ -178,7 +178,7 @@ For example, whenever you want to merge with the latest code changes, This command saves all non-pushed changes made by your commits in a temporary area, updates the local repository with changes done in the central one, and reapplies the saved commits. It is up to you to solve -possibile conflicts. +possible conflicts. <A HREF=http://gitready.com/advanced/2009/02/11/pull-with-rebase.html>Pull with rebase</A> permits to have a cleaner linear history for small incremental changes.