diff options
| author | Tom Lane | 2016-05-07 02:28:01 +0000 |
|---|---|---|
| committer | Tom Lane | 2016-05-07 02:28:01 +0000 |
| commit | 74a73b17225385e54dbf9fc2f77aaa59191ac04b (patch) | |
| tree | 3a2648f1d770a1f6968f1351a87cbf5c495f034e /doc/src | |
| parent | 1a2c17f8e221b0c3c63cb2b1be1f862444f62516 (diff) | |
Clean up after pg_dump test runs.
The tmp_check directory needs to be removed by "make clean",
and also ignored by .gitignore.
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions