projects / users / rhaas / postgres.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e57255) | patch
Remove make_diff set of tools
authorMagnus Hagander <magnus@hagander.net>
Sun, 24 Jan 2021 13:19:00 +0000 (14:19 +0100)
committerMagnus Hagander <magnus@hagander.net>
Sun, 24 Jan 2021 13:19:00 +0000 (14:19 +0100)
commit8a337b0ed21c654521da137159b8b9327a5cb971
treea753495db16ec4040f9a9613e1c33cf84c47a24etree
parent7e57255f6189380d545e1df6a6b38827b213e3dacommit | diff
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
src/tools/make_diff/README [deleted file] blob | blame | history
src/tools/make_diff/cporig [deleted file] blob | blame | history
src/tools/make_diff/difforig [deleted file] blob | blame | history
src/tools/make_diff/rmorig [deleted file] blob | blame | history
Robert Haas's development tree.