diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2017-12-17 13:11:49 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-17 13:11:49 +0000 |
| commit | c4956657dc519aaae679b5a04af9b63b0aacabbe (patch) | |
| tree | e3e3f3d15ebac3b43c77354753ed64afda319a8f /doc/ale-tex.txt | |
| parent | fc151d7b301705c97a74d7193f954df4e536f84b (diff) | |
| parent | 0d046f5f013b9cf9620ef6f0a593f733051fc708 (diff) | |
| download | ale-c4956657dc519aaae679b5a04af9b63b0aacabbe.zip | |
Merge pull request #1220 from languitar/linter-alex
Add a linter for alex
Diffstat (limited to 'doc/ale-tex.txt')
0 files changed, 0 insertions, 0 deletions