diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2018-03-22 15:20:25 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-22 15:20:25 +0000 |
| commit | ec5750f57b6b98b46cf041f32bcc5d890f3e7e37 (patch) | |
| tree | 32c5926ba28ee6e6d3930eb65ae2d9adf5fdc27d /ale_linters/tex | |
| parent | c525f49f09876a77166fa18f8e844886fa968fee (diff) | |
| parent | 87217ae347f71836c2e47b84dfbf26b1f2630d94 (diff) | |
| download | ale-ec5750f57b6b98b46cf041f32bcc5d890f3e7e37.zip | |
Merge pull request #1441 from adrigzr/bugfix-1207-remark-lint-ranges
Handle ranges for the remark linter #1207
Diffstat (limited to 'ale_linters/tex')
0 files changed, 0 insertions, 0 deletions