diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2023-07-03 14:34:41 +0300 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2023-07-04 12:13:48 +0300 |
commit | 1011100868ec6d712145c75c016b18ba5913c7c7 (patch) | |
tree | 4271874709f2d223c874208fa01215d79884a9a4 /.mumi | |
parent | ec2b5784abc18870c3a1031928f86131d78684ae (diff) | |
download | guix-1011100868ec6d712145c75c016b18ba5913c7c7.tar.gz |
gnu: local: Register missing patch.
* gnu/local.mk (dist_patch_DATA): Register missing patch.
Diffstat (limited to '.mumi')
0 files changed, 0 insertions, 0 deletions