Merge branch 've/userdiff-bash'
authorJunio C Hamano <gitster@pobox.com>
Mon, 2 Nov 2020 21:17:46 +0000 (13:17 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 2 Nov 2020 21:17:46 +0000 (13:17 -0800)
commit292e53fa9d2cf6d0b6d6adbbdc6dfc665bd4babe
treec6cf86a42e4386b3c37bd23903c672669e8e8bdf
parent305fcf42b4dde316ba0b2e6433c1e5a1d6ef864f
parent2ff6c34612057baccbd841524106c5a05f6be6d6
Merge branch 've/userdiff-bash'

The userdiff pattern learned to identify the function definition in
POSIX shells and bash.

* ve/userdiff-bash:
  userdiff: support Bash
userdiff.c