diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2019-02-20 09:58:02 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-20 09:58:02 +0000 |
| commit | 8012e5b60fc08883754cb0c871a0e6cb012db7a7 (patch) | |
| tree | 94aca835b94a9f8a7096186e2e8f2c650cc6fd32 /ale_linters/idris | |
| parent | 707a42167f184355b64e1368a5e390dffc0cb885 (diff) | |
| parent | 52c24007860b1e29c2e2cb318f29aff9889cb3c0 (diff) | |
| download | ale-8012e5b60fc08883754cb0c871a0e6cb012db7a7.zip | |
Merge pull request #2303 from kevinoid/bandit-use-config
python/bandit: Use .bandit configuration file
Diffstat (limited to 'ale_linters/idris')
0 files changed, 0 insertions, 0 deletions