Merge branch 'es/git-debugger-doc'
authorJunio C Hamano <gitster@pobox.com>
Mon, 17 Jun 2019 17:15:14 +0000 (10:15 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 17 Jun 2019 17:15:14 +0000 (10:15 -0700)
commit7df94cd1f691dd6ccb3038e1b77544030aab3fed
tree61f9b972343d0fca48ec273f9ef8a2d327f07251
parent5d5c46b28c04348f7b680e5fe007c6344a86a70a
parentf547101b26449c65aefd378022277ebb953eb7a6
Merge branch 'es/git-debugger-doc'

Doc update.

* es/git-debugger-doc:
  doc: hint about GIT_DEBUGGER in CodingGuidelines
Documentation/CodingGuidelines