Age | Commit message (Expand) | 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 |