Merge branch 'es/doc-clean-outdated-tools'
commit12b7eda44e7af72cee4659c27e7a530acb813650
authorJunio C Hamano <gitster@pobox.com>
Mon, 3 Aug 2015 18:01:32 +0000 (3 11:01 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 3 Aug 2015 18:01:32 +0000 (3 11:01 -0700)
tree7aef4e425da1f7a7f71171e0c94727634c760bea
parent8d3981ccbed9fc211b4e67105015179d9d2a5692
parent1c601af25a1d182420da11d20bc8862823e47012
Merge branch 'es/doc-clean-outdated-tools'

* 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
Documentation/git.txt