diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2020-08-17 10:21:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-17 10:21:36 +0100 |
| commit | 514e5a8baa539f38c62881673727be6f67935d75 (patch) | |
| tree | cdf3e74a818ed18acf9433687511ddc6642c4218 /ale_linters/tex | |
| parent | cfda549056c4b85fba9e2f10ecb502c8a18d6011 (diff) | |
| parent | 0cea55924ba7780c1f17d17e8509160c77d1ab7c (diff) | |
| download | ale-514e5a8baa539f38c62881673727be6f67935d75.zip | |
Merge pull request #2940 from davidsierradz/add-markdownlint-options
allow passing custom options to markdownlint
Diffstat (limited to 'ale_linters/tex')
0 files changed, 0 insertions, 0 deletions