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 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(-)
Соглашаюсь с условиями обработки персональных данных