diff options
| author | JINNOUCHI Yasushi <me@delphinus.dev> | 2019-07-30 06:08:33 +0900 |
|---|---|---|
| committer | w0rp <w0rp@users.noreply.github.com> | 2019-07-29 22:08:33 +0100 |
| commit | d1c56769b750a14a51c16cc7973ab0af15aa0cbf (patch) | |
| tree | 9cb57da2731b090cb069db12be28bac160f84b56 /ale_linters/dafny | |
| parent | b1230873b6c2044864b3ea2302b8521670fa4137 (diff) | |
| download | ale-d1c56769b750a14a51c16cc7973ab0af15aa0cbf.zip | |
Add setting for numhl highlights (#2637)
* Add setting for numhl highlights
* Add doc for numhl feature
Diffstat (limited to 'ale_linters/dafny')
0 files changed, 0 insertions, 0 deletions