diff options
Diffstat (limited to 'src/include/.gitignore')
| -rw-r--r-- | src/include/.gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/include/.gitignore b/src/include/.gitignore new file mode 100644 index 0000000..51819fb --- /dev/null +++ b/src/include/.gitignore @@ -0,0 +1,5 @@ +/stamp-h +/stamp-ext-h +/pg_config.h +/pg_config_ext.h +/pg_config_os.h |