tree 3b64674393a41c7e48d553a7f5d3ce64ce938fd7
parent 8bf95c8f7dcabf9f749b6a3fdab75aa09be9c7d7
author David Ostrovsky <david@ostrovsky.org> 1606736200 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1606753990 +0000

Document jgit auto-configuration options

Change-Id: Ife939236cbc594ba05e410e543eb8cc59930d70d