diff options
author | Abhishek Kona <abhishekk@fb.com> | 2012-12-14 14:01:33 -0800 |
---|---|---|
committer | Abhishek Kona <abhishekk@fb.com> | 2012-12-14 14:05:27 -0800 |
commit | 806d4d934624f10cbce8d1f4392bf4df58e961e6 (patch) | |
tree | c0b37c94240bc104ee1f5fc5bcb1920bdc691712 /.gitignore | |
parent | 2ba866e0c558521f6ba735e8861182038afcfc73 (diff) |
fixing linters.
Summary:
old version of linters use "lint_engine" instead of "lint.engine"
Some bookeeping in gitignore.
Reviewers: abhishekk
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 63c5aacd0..6528cb19f 100644 --- a/.gitignore +++ b/.gitignore @@ -5,6 +5,7 @@ build_config.mk *.so *.so.* *_test +*.arc db_bench db_stress ldb @@ -13,3 +14,4 @@ leveldb_shell manifest_dump sst_dump util/build_version.cc +dg_repl_stress |