MaintNotes: we now carry html and man at repo.or.cz

2007-08-15 00:16:24 -07:00 · 2007-08-15 00:16:24 -07:00 · cc5e008906
parent 90cbd56873
commit cc5e008906
1 changed files with 1 additions and 2 deletions
--- a/3
+++ b/3
@ -41,8 +41,7 @@ also push into an alternate here:

        git://repo.or.cz/alt-git.git/

-Impatient people would have better luck with the latter one, but it
-does not have "html" and "man" branches (described below).
+Impatient people would have better luck with the latter one.

 There are three branches in git.git repository that are not
 about the source tree of git: "todo", "html" and "man".  The