diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2019-03-25 21:41:39 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-04-01 05:01:11 (GMT) |
| commit | 5ee42463399ca3cc75b7e6e4368a3a5df5b010f2 (patch) | |
| tree | e4872ab520ec5d3d65ee701e757e1225bd271d50 /protocol.h | |
| parent | 8e6d69591a46b3cb37641f5e99c7fa8b7e896f00 (diff) | |
| download | git-5ee42463399ca3cc75b7e6e4368a3a5df5b010f2.zip git-5ee42463399ca3cc75b7e6e4368a3a5df5b010f2.tar.gz git-5ee42463399ca3cc75b7e6e4368a3a5df5b010f2.tar.bz2 | |
check-docs: fix for setups where executables have an extension
On Windows, for example, executables (must) have the extension `.exe`.
Our `check-docs` target was not prepared for that.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'protocol.h')
0 files changed, 0 insertions, 0 deletions