diff options
| author | Maxime Coste <mawww@kakoune.org> | 2018-02-11 22:02:53 +1100 |
|---|---|---|
| committer | Maxime Coste <mawww@kakoune.org> | 2018-02-11 22:03:24 +1100 |
| commit | d95530b1715d959a08e899796149f6d152f543cf (patch) | |
| tree | 845fc5b8bc19d7a7fbba66a6bd77ac0d7c6cf20d /src/command_manager.cc | |
| parent | c939c30135930ebe6dbf963649e81a732e0830af (diff) | |
lint.kak: Update lint info when the linting data changed
Fixes #1836
Diffstat (limited to 'src/command_manager.cc')
0 files changed, 0 insertions, 0 deletions