diff options
| author | Michael Jungo <michaeljungo92@gmail.com> | 2017-11-12 02:06:28 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-11-12 10:56:53 +0000 |
| commit | 3aff1df9615ccc95bb91910f82d43947dd835f28 (patch) | |
| tree | ed87452da5b927a9d6ff1e09c3721ea3a0c47d9f /ale_linters/idris | |
| parent | d20e3bc71cd835f6708e78c5efea2f6d826d7e4d (diff) | |
| download | ale-3aff1df9615ccc95bb91910f82d43947dd835f28.zip | |
Add tests for ocaml-language-server callbacks
Diffstat (limited to 'ale_linters/idris')
0 files changed, 0 insertions, 0 deletions