diff options
Diffstat (limited to 'src/backend/utils/.gitignore')
| -rw-r--r-- | src/backend/utils/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/backend/utils/.gitignore b/src/backend/utils/.gitignore index f26215c6315..06855569594 100644 --- a/src/backend/utils/.gitignore +++ b/src/backend/utils/.gitignore @@ -1,5 +1,6 @@ /fmgrtab.c /fmgroids.h /fmgrprotos.h +/fmgr-stamp /probes.h /errcodes.h |