diff options
Diffstat (limited to 'src/backend/bootstrap')
| -rw-r--r-- | src/backend/bootstrap/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/backend/bootstrap/.gitignore b/src/backend/bootstrap/.gitignore index 1ffe8ca39ed..42a8dc85c4d 100644 --- a/src/backend/bootstrap/.gitignore +++ b/src/backend/bootstrap/.gitignore @@ -1,2 +1,3 @@ /bootparse.c /bootscanner.c +/bootstrap_tokens.h |