Remove make_diff set of tools These are mostly obsoleted by the switch to git, and it's easier to remove them than to update the incorrect documentation.
Discussion: https://postgr.es/m/cabuevewmasmn4wrj6ragbx43sj10ctfmhcma_-7ka3pdymw...@mail.gmail.com Branch ------ master Details ------- https://git.postgresql.org/pg/commitdiff/8a337b0ed21c654521da137159b8b9327a5cb971 Modified Files -------------- src/tools/make_diff/README | 39 --------------------------------------- src/tools/make_diff/cporig | 11 ----------- src/tools/make_diff/difforig | 14 -------------- src/tools/make_diff/rmorig | 9 --------- 4 files changed, 73 deletions(-)