diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2018-11-25 14:05:39 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-25 14:05:39 +0000 |
| commit | 51b6fa4aa21e4d2be7b0ea6b78ee251f71dd89c8 (patch) | |
| tree | d55163633373a4c5131b122955e04b998558ff16 /ale_linters/ocaml | |
| parent | 2ab64514d02576b929ce3e7123fc45b6a148891a (diff) | |
| parent | 6746cb333332d309232a884261fe3229fdc24e44 (diff) | |
| download | ale-51b6fa4aa21e4d2be7b0ea6b78ee251f71dd89c8.zip | |
Merge pull request #2103 from bfredl/ns
Don't hardcode the namespace id for virtual text
Diffstat (limited to 'ale_linters/ocaml')
0 files changed, 0 insertions, 0 deletions