diff options
author | Stefan Beller <sbeller@google.com> | 2018-04-10 14:26:21 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-04-11 18:11:00 +0900 |
commit | 11bc058ce66a437499a774e82398c96e1324e2e0 (patch) | |
tree | 6ac923d7376c17817799941daedd004cd51f527b /Documentation/git-rev-list.txt | |
parent | sha1_file.c: rename to use dash in file name (diff) | |
download | tgif-11bc058ce66a437499a774e82398c96e1324e2e0.tar.xz |
replace_object.c: rename to use dash in file name
This is more consistent with the project style. The majority of
Git's source files use dashes in preference to underscores in their file
names.
Noticed while adding a header corresponding to this file.
Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Stefan Beller <sbeller@google.com>
Diffstat (limited to 'Documentation/git-rev-list.txt')
0 files changed, 0 insertions, 0 deletions