Skip to content

Commit 8a337b0

Browse files
mhagandermhagander
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.com
1 parent 7e57255 commit 8a337b0

File tree

4 files changed

+0
-73
lines changed

4 files changed

+0
-73
lines changed

‎src/tools/make_diff/README

Lines changed: 0 additions & 39 deletions
This file was deleted.

‎src/tools/make_diff/cporig

Lines changed: 0 additions & 11 deletions
This file was deleted.

‎src/tools/make_diff/difforig

Lines changed: 0 additions & 14 deletions
This file was deleted.

‎src/tools/make_diff/rmorig

Lines changed: 0 additions & 9 deletions
This file was deleted.

0 commit comments

Comments
 (0)