2 Commits
Author | SHA1 | Date |
---|---|---|
Denis Buzdalov | 874495a339 | |
Edwin Brady | 2d3f31df29 |
Renamed from syntax_checkers/idris/idris2.vim (Browse further)
Author | SHA1 | Date |
---|---|---|
Denis Buzdalov | 874495a339 | |
Edwin Brady | 2d3f31df29 |