VimPlug/ale
1
0
Fork 0
mirror of https://github.com/dense-analysis/ale.git synced 2026-05-18 14:29:50 +08:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
Files
39f393ef077998028bce697659c3aac37f7aa090
ale/ale_linters/dafny/dafny.vim
T
D. Ben Knoble c37cc1c8a3 dafny: include correct filename in lint results 
Results can come from included files, not just the current buffer.
2020-10-08 11:54:56 -04:00

728 B
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink