Merge branch 'ds/trace2-document-env-vars'
authorJunio C Hamano <gitster@pobox.com>
Sun, 19 May 2019 07:45:33 +0000 (16:45 +0900)
committerJunio C Hamano <gitster@pobox.com>
Sun, 19 May 2019 07:45:33 +0000 (16:45 +0900)
Doc update.

* ds/trace2-document-env-vars:
trace2: add variable description to git.txt

Trivial merge