diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2017-08-19 15:37:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-19 15:37:06 +0100 |
| commit | f8de08faf0c23ac4b76e610f685dcf6c3dfdf180 (patch) | |
| tree | ef1fbc0fbc00d148566ebecf00cc03d63e20b1e7 /.gitignore | |
| parent | fb0c931b2ddd0441c04a3e1c9d5d6def87e8858e (diff) | |
| parent | 18cb9a725d49c674b029110be274ae9606f2270d (diff) | |
| download | ale-f8de08faf0c23ac4b76e610f685dcf6c3dfdf180.zip | |
Merge pull request #860 from dmitrivereshchagin/update-syntaxerl-linter
Add original filename to SyntaxErl command
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions