Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2020-09-06 | Ignore idris2 doc, fixes #538 | Adam Stankiewicz | 1 | -158/+0 | |
2020-09-05 | Add support for Idris2, closes #534 (#535) | CodingCellist | 1 | -3/+3 | |
2020-08-24 | Include docs of plugins | Adam Stankiewicz | 1 | -0/+158 | |