diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2017-01-15 13:02:51 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-15 13:02:51 +0000 |
| commit | 548ff299f4d68890ec7d00a7d20a78c820b0bb2b (patch) | |
| tree | 34472c2a428c4673c028d49b59ae291597266039 /ale_linters/tex | |
| parent | 8762a6fa665b54c8a24bfe0139f4ee8cb2a52b99 (diff) | |
| parent | dc8166384c023b5de963cb21730b756f80286c90 (diff) | |
| download | ale-548ff299f4d68890ec7d00a7d20a78c820b0bb2b.zip | |
Merge pull request #243 from SabatierBoris/master
Add options for pylint linter
Diffstat (limited to 'ale_linters/tex')
0 files changed, 0 insertions, 0 deletions