diff options
| author | Magnus Hagander <magnus@hagander.net> | 2021-01-24 14:19:00 +0100 |
|---|---|---|
| committer | Magnus Hagander <magnus@hagander.net> | 2021-01-24 14:19:00 +0100 |
| commit | 8a337b0ed21c654521da137159b8b9327a5cb971 (patch) | |
| tree | a753495db16ec4040f9a9613e1c33cf84c47a24e /src/backend/access/gist/gistvacuum.c | |
| parent | 7e57255f6189380d545e1df6a6b38827b213e3da (diff) | |
| download | postgresql-8a337b0ed21c654521da137159b8b9327a5cb971.tar.gz postgresql-8a337b0ed21c654521da137159b8b9327a5cb971.zip | |
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/backend/access/gist/gistvacuum.c')
0 files changed, 0 insertions, 0 deletions