diff options
author | Junio C Hamano <gitster@pobox.com> | 2024-04-08 16:36:05 -0700 |
---|---|---|
committer | Johannes Sixt <j6t@kdbg.org> | 2024-05-05 16:54:35 +0200 |
commit | 6a8c13e03daf42aba9eed55a4f8d6be8ec3efd88 (patch) | |
tree | 8c60bdfc0dce346d1fff62e20ee548f9bb9b6de1 /builtin/commit.c | |
parent | 1351570912b9a1ad324a79bfc8f1b0e736ba87fc (diff) |
Makefile(s): do not enforce "all indents must be done with tab"
Our top-level Makefile follows our generic whitespace rule
established by the top-level .gitattributes file that does not
enforce indent-with-non-tab rule by default, but git-gui is set up
to enforce indent-with-non-tab by default. With the upcoming change
to GNU make, we no longer can reject (and worse, "fix") a patch that
adds whitespace indented lines to the Makefile, so loosen the rule
there for git-gui/Makefile, too.
[j6t: cherry-picked from 227b8fd90240]
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Signed-off-by: Johannes Sixt <j6t@kdbg.org>
Diffstat (limited to 'builtin/commit.c')
0 files changed, 0 insertions, 0 deletions