diff options
author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-02-11 16:30:49 +0000 |
---|---|---|
committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-02-11 16:30:49 +0000 |
commit | 7ac347e82c3447ea1a77326c8458adc8606dee6a (patch) | |
tree | b371b9b7d37565776e3eec0ff1f0434867b0747c /.guix-channel | |
parent | dd2e2a0c76a3042e17bda94115bded50eeeee94c (diff) |
idris2-git: fix build failures due to missing dir
Diffstat (limited to '.guix-channel')
0 files changed, 0 insertions, 0 deletions