Merge branch 'maint'
commit9b3b7fd8072783e2ec20b3cf622713d39b1c8af4
authorJunio C Hamano <gitster@pobox.com>
Wed, 3 Dec 2008 00:13:21 +0000 (2 16:13 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 3 Dec 2008 00:13:21 +0000 (2 16:13 -0800)
tree1209c952a05939a8b3d5b6bf2c58fbb78ce0ebfe
parentdeb13872becbc5fb49e3ab22dd9feaf4e429a853
parent25e30fa08e687d584d9dd87d13acf84bb1e1858c
Merge branch 'maint'

* maint:
  User's Manual: remove duplicated url at the end of Appendix B
Documentation/user-manual.txt