diff options
Diffstat (limited to 'src/third_party/wiredtiger/.gitignore')
-rw-r--r-- | src/third_party/wiredtiger/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/third_party/wiredtiger/.gitignore b/src/third_party/wiredtiger/.gitignore index 4ff1bfbd509..8cb3dc0ac15 100644 --- a/src/third_party/wiredtiger/.gitignore +++ b/src/third_party/wiredtiger/.gitignore @@ -3,3 +3,4 @@ build/ dist/clang-format /docs/ +test-compatibility-run/ |