diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2021-12-27 16:30:23 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2021-12-27 16:30:23 +0000 |
| commit | 08bc9c685d41572a0c1b2038e1d6965684ecd21f (patch) | |
| tree | 836641daf96682b4b2b166afc4a609346f2e89a7 /.guix-authorizations | |
| parent | 74c2299a47f8ae75408edd9ec2885131e4cdeb19 (diff) | |
agda-stdlib: fix destination of `.agdai` files.
Diffstat (limited to '.guix-authorizations')
0 files changed, 0 insertions, 0 deletions