summaryrefslogtreecommitdiff
path: root/yellowsquid/packages/agda.scm
diff options
context:
space:
mode:
authorChloe Brown <chloe.brown.00@outlook.com>2022-02-18 10:21:35 +0000
committerChloe Brown <chloe.brown.00@outlook.com>2022-02-18 10:21:35 +0000
commit179a46b7eb9d9972ea6cb52e343c31375593dccf (patch)
tree6558d36fcd3b954edc73fe282b2d7d9c544bc4e7 /yellowsquid/packages/agda.scm
parent810b89fb7044b7b553f9143513889183d0b68049 (diff)
services: mako: fix broken config file
Diffstat (limited to 'yellowsquid/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions