diff options
| author |  Stefan Beller <sbeller@google.com> | 2018-04-10 14:26:16 -0700 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2018-04-11 18:11:00 +0900 |
| commit | fa2656f1da2c01e139423d98b7cbc52cbeadb52c (patch) | |
| tree | 5f7ccf0a26117c478a7a242add4d6e009c6b616a /builtin/pull.c | |
| parent | Revert "Merge branch 'en/rename-directory-detection'" (diff) | |
| download | tgif-fa2656f1da2c01e139423d98b7cbc52cbeadb52c.tar.xz | |
write_or_die.c: rename to use dashes 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.
Signed-off-by: Stefan Beller <sbeller@google.com>
Diffstat (limited to 'builtin/pull.c')
0 files changed, 0 insertions, 0 deletions