diff options
| author |  Felipe Contreras <felipe.contreras@gmail.com> | 2021-05-21 17:29:41 -0500 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2021-05-24 18:08:22 +0900 |
| commit | 7ba30167291eb89f2e587b7cabfa4e7555de4ed5 (patch) | |
| tree | fc7ac78b3a4d6214fa4510bbe2c0397285287d52 /Documentation/git-tools.txt | |
| parent | doc: simplify Makefile using .DELETE_ON_ERROR (diff) | |
| download | tgif-7ba30167291eb89f2e587b7cabfa4e7555de4ed5.tar.xz | |
doc: avoid using rm directly
That's what we have $(RM) for.
Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-tools.txt')
0 files changed, 0 insertions, 0 deletions