diff options
| author | w0rp <devw0rp@gmail.com> | 2017-11-13 10:27:20 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-11-13 10:27:25 +0000 |
| commit | a5f7f51c9a13f103a51cb91b6abdd53fade3600a (patch) | |
| tree | b4932b6d6e50501478620cf94c580ebf162b05bc /ale_linters/html | |
| parent | 584e0bc7f25563bf4ab3ae738b78d9d13a898f94 (diff) | |
| download | ale-a5f7f51c9a13f103a51cb91b6abdd53fade3600a.zip | |
#1121 Tell people how to lint when leaving insert mode with Ctrl+C
Diffstat (limited to 'ale_linters/html')
0 files changed, 0 insertions, 0 deletions