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

Doc update.

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