Remove git-external-diff from tools directory The git-external-diff bash script could not be executed due to syntax errors without it being reported, which indicates that it hasn't been used by anyone in a long time. Rather than spending energy on fixing dead code, the conclusion in the thread was to remove it.
Reported-by: zmuxuny <[email protected]> Reviewed-by: Chao Li <[email protected]> Discussion: https://postgr.es/m/CAMPOERnKK-vNtc_Ooddb9WGbDepGi1=pxoffigrb4_cqzyu...@mail.gmail.com Branch ------ master Details ------- https://git.postgresql.org/pg/commitdiff/c0f2b6dc82718f17a2190f474450885df6c06402 Modified Files -------------- src/tools/git-external-diff | 59 --------------------------------------------- 1 file changed, 59 deletions(-)
