config: Add description of --local option
commit560d4b86abc547dfb10b116ab99c800d68ae8849
authorNamhyung Kim <namhyung@gmail.com>
Mon, 17 Jun 2013 13:31:31 +0000 (17 22:31 +0900)
committerJunio C Hamano <gitster@pobox.com>
Mon, 17 Jun 2013 20:27:49 +0000 (17 13:27 -0700)
tree3bb26a09daf42931135aa460741e8529627feea7
parent04a74b6cfa5ef4870263f84ac94a488d9f2ef14a
config: Add description of --local option

It was missed in the option list while mentioned from the general
description.  Add it for completeness.

Signed-off-by: Namhyung Kim <namhyung@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-config.txt