diff options
| author | Tom Lane | 2023-04-08 03:32:49 +0000 |
|---|---|---|
| committer | Tom Lane | 2023-04-08 03:32:49 +0000 |
| commit | db6957bae8d7716785aa3748b25a9a4b7c3ff304 (patch) | |
| tree | 8547f18de1d220f4b07ea2695cd2b4caf47f97c6 /src/backend/access/gist | |
| parent | 2bfbad9c42207b4ba75cfce9901fa78f2c024b61 (diff) | |
Add missing .gitignore entry.
Seems an oversight in 7d8219a44. Fix before somebody commits
a generated file.
Diffstat (limited to 'src/backend/access/gist')
0 files changed, 0 insertions, 0 deletions