diff options
| author | Tom Lane | 2022-11-26 15:30:31 +0000 |
|---|---|---|
| committer | Tom Lane | 2022-11-26 15:30:58 +0000 |
| commit | a2dcd78dd0837c5b705569f99d86ebf0d5a5725f (patch) | |
| tree | 0ae2d73aa282bb06fb5e6db316cb30304eb8808c /src | |
| parent | 46d724107b5527b1b94e15358acd1bf030dd70c4 (diff) | |
Remove temporary portlock directory during make [dist]clean.
Another oversight in 9b4eafcaf.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions