diff options
| author | w0rp <devw0rp@gmail.com> | 2017-04-11 20:32:57 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-04-11 20:32:57 +0100 |
| commit | b06b832447253404180ce6a97927755e4ae68c22 (patch) | |
| tree | b8b4b0592ffc245257869edca0066b425e1806f6 /ale_linters/ocaml | |
| parent | 8b890caa31411cd022156dca8e4c7f4c5fb65fc9 (diff) | |
| download | ale-b06b832447253404180ce6a97927755e4ae68c22.zip | |
#392 Report errors inside of headers, in a very basic way
Diffstat (limited to 'ale_linters/ocaml')
0 files changed, 0 insertions, 0 deletions