Remove make_diff set of tools

Magnus Hagander <magnus@hagander.net>

Commit: 8a337b0ed21c654521da137159b8b9327a5cb971
Author: Magnus Hagander <magnus@hagander.net>
Date: 2021-01-24T13:19:00Z
Releases: 14.0
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_-7KA3pDYmwpJw@mail.gmail.com

Files

PathChange+/−
src/tools/make_diff/cporig deleted +0 −11
src/tools/make_diff/difforig deleted +0 −14
src/tools/make_diff/README deleted +0 −39
src/tools/make_diff/rmorig deleted +0 −9

Discussion