projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db10fc6) | patch
doc: avoid using rm directly
authorFelipe Contreras <felipe.contreras@gmail.com>
Fri, 21 May 2021 22:29:41 +0000 (17:29 -0500)
committerJunio C Hamano <gitster@pobox.com>
Mon, 24 May 2021 09:08:22 +0000 (18:08 +0900)
commit7ba30167291eb89f2e587b7cabfa4e7555de4ed5
treefc7ac78b3a4d6214fa4510bbe2c0397285287d52tree | snapshot
parentdb10fc6c09f1f74c4d0a9294ecbb68d390f54f15commit | diff
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>
Documentation/Makefile diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.