]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'es/doc-clean-outdated-tools'
authorJunio C Hamano <gitster@pobox.com>
Mon, 3 Aug 2015 18:01:32 +0000 (11:01 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 3 Aug 2015 18:01:32 +0000 (11:01 -0700)
* es/doc-clean-outdated-tools:
  Documentation/git-tools: retire manually-maintained list
  Documentation/git-tools: drop references to defunct tools
  Documentation/git-tools: fix item text formatting
  Documentation/git-tools: improve discoverability of Git wiki
  Documentation/git: drop outdated Cogito reference

1  2 
Documentation/git.txt

Simple merge