Commit 8a337b0
committed
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.com1 parent 7e57255 commit 8a337b0
4 files changed
+0
-73
lines changedThis file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
0 commit comments