diff options
author | Magnus Hagander | 2021-01-24 13:19:00 +0000 |
---|---|---|
committer | Magnus Hagander | 2021-01-24 13:19:00 +0000 |
commit | 8a337b0ed21c654521da137159b8b9327a5cb971 (patch) | |
tree | a753495db16ec4040f9a9613e1c33cf84c47a24e /src/common/scram-common.c | |
parent | 7e57255f6189380d545e1df6a6b38827b213e3da (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
Diffstat (limited to 'src/common/scram-common.c')
0 files changed, 0 insertions, 0 deletions