Merge branch 'ao/config-api-doc'
authorJunio C Hamano <redacted>
Wed, 23 May 2018 05:38:10 +0000 (14:38 +0900)
committerJunio C Hamano <redacted>
Wed, 23 May 2018 05:38:10 +0000 (14:38 +0900)
commitd9a0ddc217b74615b901ad4dfdde04bfbde59770
treebb0414ebbcd9e4166a79d1aab1cb402f04b75e5a
parente1dd23a8c9567daf98a726fc7a5d7578a7681bb4
parentf7997e36821d816710658874784cd538d134dee2
Merge branch 'ao/config-api-doc'

Doc update.

* ao/config-api-doc:
  doc: fix config API documentation about config_with_options
git clone https://git.99rst.org/PROJECT