diff options
author | Oliver Albertini <oliverralbertini@users.noreply.github.com> | 2021-09-15 05:07:45 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-15 21:07:45 +0900 |
commit | f769f64c079d2f3216559234fb92673182089267 (patch) | |
tree | c2266520dd129a489b1178c87b6cb34066f8d3d6 /doc | |
parent | 19437e25d05950ab83dce285b4b8ec5166e06dba (diff) | |
download | ale-f769f64c079d2f3216559234fb92673182089267.zip |
[ale-python-root] add `.pyre_configuration.local` to list of files (#3900)
Without this, we have one `pyre` process running across different pyre
projects. With this change, files in different projects can be linted
with pyre at the same time.
Co-authored-by: Oliver Ruben Albertini <ora@fb.com>
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ale-python.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/ale-python.txt b/doc/ale-python.txt index 6e03e872..8f0d8ffa 100644 --- a/doc/ale-python.txt +++ b/doc/ale-python.txt @@ -35,6 +35,7 @@ ALE will look for configuration files with the following filenames. > setup.cfg pytest.ini tox.ini + .pyre_configuration.local mypy.ini pycodestyle.cfg .flake8 |