mirror of https://github.com/facebook/rocksdb.git
806d4d9346
Summary: old version of linters use "lint_engine" instead of "lint.engine" Some bookeeping in gitignore. Reviewers: abhishekk |
||
---|---|---|
.. | ||
cpp_linter | ||
lint_engine | ||
.phutil_module_cache | ||
__phutil_library_init__.php | ||
__phutil_library_map__.php |