diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | src/backend/.gitignore | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index fb6069a0ef9..cbf8d7996a0 100644 --- a/.gitignore +++ b/.gitignore @@ -9,6 +9,7 @@ *.sl.[0-9].[0-9] *.dylib *.dll +*.exp *.a *.mo *.pot diff --git a/src/backend/.gitignore b/src/backend/.gitignore index 4e04ff0575b..931df585bc3 100644 --- a/src/backend/.gitignore +++ b/src/backend/.gitignore @@ -1,2 +1,3 @@ /postgres /postgres.def +/postgres.imp |