pgsql: Remove make_diff set of tools
Started by Magnus Haganderover 5 years ago1 messagescomitters
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: /messages/by-id/CABUevEwmASMn4WRJ6RagBx43sj10ctfMHcMA_-7KA3pDYmwpJw@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(-)