Merge branch 'es/doc-clean-outdated-tools' into maint
commitcacee08cd2f0ae8bbbec598c009feedfb7cf177c
authorJunio C Hamano <gitster@pobox.com>
Wed, 19 Aug 2015 21:41:31 +0000 (19 14:41 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 19 Aug 2015 21:41:31 +0000 (19 14:41 -0700)
treeabdc8762f346cae55000fb057ecf05c4ddca92dd
parent25a294e44db1c479e8abe2449f71279e6511ea32
parent1c601af25a1d182420da11d20bc8862823e47012
Merge branch 'es/doc-clean-outdated-tools' into maint

* 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