diff options
| author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2006-12-16 15:14:14 +0100 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-12-16 13:28:20 -0800 |
| commit | 0667fcfb6271e9e1ea032a0e3a7d74c9d6a5fa8a (patch) | |
| tree | 56b2353219b7d37819c93714618caaa344635904 /xdiff-interface.h | |
| parent | b1bfcae438adb485bb66e2f59396373809e346e6 (diff) | |
| download | git-0667fcfb6271e9e1ea032a0e3a7d74c9d6a5fa8a.tar.gz git-0667fcfb6271e9e1ea032a0e3a7d74c9d6a5fa8a.tar.xz | |
add a function to rename sections in the config
Given a config like this:
# A config
[very.interesting.section]
not
The command
$ git repo-config --rename-section very.interesting.section bla.1
will lead to this config:
# A config
[bla "1"]
not
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'xdiff-interface.h')
0 files changed, 0 insertions, 0 deletions