| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | build-idris-package: add documentation on idris commands options | Marco Perone | 2019-08-06 | 1 | -0/+18 |
| * | doc/idris: Fix install instructions | Silvan Mosberger | 2019-06-15 | 1 | -2/+13 |
| * | nixpkgs idris docs: Update and improve | Silvan Mosberger | 2018-11-12 | 1 | -28/+104 |
| * | Move all nixpkgs doc files in to the doc directory | Graham Christensen | 2018-03-25 | 1 | -0/+39 |
 |
index : libkookie | |
| 🍍 Things that make my computers more sad than other people's computers | Katharina Fey |
| aboutsummaryrefslogtreecommitdiff |