diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2024-02-07 10:30:50 +0200 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2024-02-07 10:30:50 +0200 |
commit | 10dba10fd6551ab480a38d00301e6f102def674d (patch) | |
tree | e1d083793d009666b5bdfa3db408bc49e386e851 /gnu/packages | |
parent | cce7a6d2d2b18f51d1fcab67b02a38c11d6f4f2d (diff) |
gnu: Register missing patch.
* gnu/local.mk (dist_patch_DATA): Add missing patch.
Change-Id: I82264a8cbea1550522994292e24f702f7cc78700
Diffstat (limited to 'gnu/packages')
0 files changed, 0 insertions, 0 deletions