| 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.•••Signed-off-by: Chloe Brown <chloe.brown.00@outlook.com> | Chloe Brown |
| 2021-12-26 | Define PipeWire home services.•••Introduce two new home services: `home-pipewire-service-type` and `home-wireplumber-service-type`. These run the daemons necessary to run the PipeWire multimedia service. `home-pipewire-service-type` runs the main PipeWire daemon and the PipeWire PulseAudio interface. `home-wireplumber-service-type` runs an instance of the WirePlumber session manager. | Chloe Brown |
 |
index : yellowsquid/squidguix.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |