diff options
| author | Peter Eisentraut | 2019-03-22 22:19:30 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2019-03-22 22:19:30 +0000 |
| commit | 4e274a043fc8310ce1148190ef674beca06e990c (patch) | |
| tree | f0b439a70f72790d06bb5f260926e9343ce8d09c /src/include/utils | |
| parent | 734308a220729e4ececa3758bdcae39a335d55ea (diff) | |
Add gitignore entries for jsonpath_gram.h
Diffstat (limited to 'src/include/utils')
| -rw-r--r-- | src/include/utils/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/include/utils/.gitignore b/src/include/utils/.gitignore index 05cfa7a8d6..5a2a996744 100644 --- a/src/include/utils/.gitignore +++ b/src/include/utils/.gitignore @@ -1,5 +1,6 @@ /fmgroids.h /fmgrprotos.h +/jsonpath_gram.h /probes.h /errcodes.h /header-stamp |