diff options
| author | Bruce Momjian | 2020-01-14 15:51:58 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2020-01-14 15:51:58 +0000 |
| commit | 7316f11be03863858fa7acb5eee97ec35c91fca4 (patch) | |
| tree | fc08e8f6eee223379f2c2c4244b3a72a5d512d72 /src/backend/access/gist | |
| parent | 329730827848f61eb8d353d5addcbd885fa823da (diff) | |
tools/copyright.pl: skip copyright changes for *.key files
Reported-by: Alvaro Herrera
Discussion: https://postgr.es/m/[email protected]
Backpatch-through: master
Diffstat (limited to 'src/backend/access/gist')
0 files changed, 0 insertions, 0 deletions