| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-12-27 | agda-stdlib: fix destination of `.agdai` files. | Chloe Brown |
| 2021-12-27 | agda-stdlib: fix incorrect build order | Chloe Brown |
| 2021-12-27 | agda-stdlib: fix missing `.agdai` files. | Chloe Brown |
| 2021-12-27 | agda-stdlib: Move docs from `out` to `doc`. | Chloe Brown |
| 2021-12-26 | agda-stdlib: initial commit | Chloe Brown |
| 2021-12-26 | Add channel authentication. | Chloe Brown |
| 2021-12-26 | Define PipeWire home services. | Chloe Brown |
 |
index : yellowsquid/squidguix.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |