hasufell/ale
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
1,714 Commits 1 Branch 0 Tags 17 MiB
9420c411bd
Commit Graph

2 Commits

Author SHA1 Message Date
w0rp
b14377915b Clean up tests to stop people copy and pasting the wrong examples 2017-11-15 17:21:17 +00:00
Taylor Blau
248a5eb2f6 ale_linters: add 'dafny' linter 2017-11-07 22:11:49 -08:00