diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2018-09-19 19:46:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-19 19:46:13 +0100 |
| commit | 169a6e26b2ca63ab0f2f5bb3d2176ff0a2f68bc3 (patch) | |
| tree | 4a561b7ec1d056eb30a4b988625b4a4c3d8d49e1 /test/command_callback/java_paths_with_jaxb | |
| parent | e82bcdb8a6dc888130c03bc80cba492051c5ffbf (diff) | |
| parent | dbe93529352880068cb738abb93a1bc009bf73ed (diff) | |
| download | ale-169a6e26b2ca63ab0f2f5bb3d2176ff0a2f68bc3.zip | |
Merge pull request #1719 from elebow/auto-pipenv-option-for-python-linters
Add python_[linter]_auto_pipenv options for python linters (fixes #1656)
Diffstat (limited to 'test/command_callback/java_paths_with_jaxb')
0 files changed, 0 insertions, 0 deletions