summaryrefslogtreecommitdiff
path: root/scripts/mumi.in
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2018-11-09 22:16:41 +0100
committerRicardo Wurmus <rekado@elephly.net>2018-11-09 22:16:41 +0100
commitda00ebd6e5d601a7fe5a432cc3dc09355777077e (patch)
tree72333272d15030a4cad6f3de7ce9e7800256e406 /scripts/mumi.in
parentb9a1bc760d69b6ecc5d5249f9f48bcf543dd30db (diff)
guix: Update to latest version of guile-debbugs.
Diffstat (limited to 'scripts/mumi.in')
0 files changed, 0 insertions, 0 deletions