diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2024-02-20 16:53:09 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2024-02-20 16:53:09 +0000 |
| commit | 2f396f1fc56bd5bc85df008c8ee26da113c3c348 (patch) | |
| tree | 054feda2a402fed039c0de2d4cd32111ad4ef802 /.guix-channel | |
| parent | e760ff9315835653e3f88c12792d5f0bf8d80366 (diff) | |
idris2: minor tweaks
Diffstat (limited to '.guix-channel')
0 files changed, 0 insertions, 0 deletions