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)
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>
No differences found