diff options
author | Junio C Hamano <gitster@pobox.com> | 2007-11-08 18:38:27 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-11-09 01:57:50 -0800 |
commit | 3f7ce648fafead8c9cb5f6f594a0eb220fc12c9c (patch) | |
tree | a5e354639f8b0475a5678b1ac63275affe67667c /Documentation/fetch-options.txt | |
parent | Documentation: lost-found is now deprecated. (diff) | |
download | tgif-3f7ce648fafead8c9cb5f6f594a0eb220fc12c9c.tar.xz |
Make check-docs target detect removed commands
The maintainer should remember running "make check-docs" from
time to time.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/fetch-options.txt')
0 files changed, 0 insertions, 0 deletions