diff options
| author | Peter Eisentraut | 2020-06-11 12:14:12 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2020-06-11 12:19:32 +0000 |
| commit | d9fa17aa7c34dea66ce64da6fb4c643e75ba452c (patch) | |
| tree | 79b542856457c3dcd7832e342aabf52ce29a53a9 /doc/src | |
| parent | ad9291f5e6f81ebca978c4438a1c7a448ca5b9ad (diff) | |
pg_dump: Remove dead code
Remove some code relevant only for dumping from pre-7.1 servers,
support for which had already been removed by
64f3524e2c8deebc02808aa5ebdfa17859473add.
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions