VimPlug/ale
1
0
Fork 0
mirror of https://github.com/dense-analysis/ale.git synced 2026-07-11 19:00:53 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
c37cc1c8a3cd2d014258d4252c4b495e48e844a5
ale/ale_linters/dafny
T
History
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
..
dafny.vim
dafny: include correct filename in lint results
2020-10-08 11:54:56 -04:00