diff options
| author | Tom Lane | 2020-12-18 21:24:49 +0000 |
|---|---|---|
| committer | Tom Lane | 2020-12-18 21:24:49 +0000 |
| commit | 8afca702ecbf0730b6175afda0cecbbf0a1967e7 (patch) | |
| tree | 50040f7b7f4315587cba284a1319a5e33cca5b7c /src/common/file_utils.c | |
| parent | 53d4f5fef04653fc495ae385a9c2f78c77e5c7d9 (diff) | |
Add a couple of missed .gitignore entries.
Any subdirectory that's ignoring /output_iso/ should also
ignore /tmp_check_iso/, which could be left behind by a
failed pg_isolation_regress_check run.
I think these have been wrong for awhile, but it doesn't
seem important to fix in back branches.
Diffstat (limited to 'src/common/file_utils.c')
0 files changed, 0 insertions, 0 deletions