config: rename `dummy` parameter to `cb` in git_default_config()
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 30 Oct 2018 18:40:03 +0000 (11:40 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 31 Oct 2018 03:45:30 +0000 (12:45 +0900)
commit409670f34ed5a2bc4f508f3aee9f809922b339dc
treefc5f1c6af1ddd3e0ae64f96f089d9e4d02a3ed49
parent4ede3d42dfb57f9a41ac96a1f216c62eb7566cc2
config: rename `dummy` parameter to `cb` in git_default_config()

This is the convention elsewhere (and prepares for the case where we may
need to pass callback data).

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
config.c