diff options
author | w0rp <devw0rp@gmail.com> | 2018-07-15 19:26:45 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2018-07-15 19:26:45 +0100 |
commit | 72f002de941fb28bc454ad6417de63690ad54233 (patch) | |
tree | b514a8f99853e8d75a9880c7d31480ae8be2efdc /doc/ale-python.txt | |
parent | 8141ced0d01e1c4fdd9adfd8c20683d634d737d5 (diff) | |
download | ale-72f002de941fb28bc454ad6417de63690ad54233.zip |
Update the Python documentation
Diffstat (limited to 'doc/ale-python.txt')
-rw-r--r-- | doc/ale-python.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/ale-python.txt b/doc/ale-python.txt index be8ad118..e24ef1aa 100644 --- a/doc/ale-python.txt +++ b/doc/ale-python.txt @@ -22,6 +22,8 @@ ALE will look for configuration files with the following filenames. > mypy.ini pycodestyle.cfg flake8.cfg + Pipfile + Pipfile.lock < The first directory containing any of the files named above will be used. |