diff options
author | Peter Eisentraut | 2019-11-11 10:54:12 +0000 |
---|---|---|
committer | Peter Eisentraut | 2019-11-11 10:54:12 +0000 |
commit | 2cd75e4e795bea110c1d32e8cbfdf1e33a109e80 (patch) | |
tree | 1e30f0dd7ec7d4d0d41c0ad111a7640ca8dd936b /src/backend/commands/functioncmds.c | |
parent | d0c92527cc77a8f6b235c2a5abba95e01367f825 (diff) |
gitattributes: Remove entries for no longer existing files
Diffstat (limited to 'src/backend/commands/functioncmds.c')
0 files changed, 0 insertions, 0 deletions