From: Junio C Hamano <redacted>
Date: Wed, 23 May 2018 05:38:10 +0000 (+0900)
Subject: Merge branch 'ao/config-api-doc'
X-Git-Url: http://git.99rst.org/?a=commitdiff_plain;h=d9a0ddc217b74615b901ad4dfdde04bfbde59770;p=git.git

Merge branch 'ao/config-api-doc'

Doc update.

* ao/config-api-doc:
  doc: fix config API documentation about config_with_options
---

d9a0ddc217b74615b901ad4dfdde04bfbde59770