Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2018-07-02 | idrisPackages.semidirect: 2018-02-06 -> 2018-07-02, fix build | Silvan Mosberger | 1 | -3/+3 | |
2018-07-02 | idrisPackages: Clean up packages | Silvan Mosberger | 1 | -4/+1 | |
2018-03-20 | idrisPackages: add packages | Márton Boros | 1 | -0/+28 | |