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 /.gitignore | |
| parent | ec2b5784abc18870c3a1031928f86131d78684ae (diff) | |
gnu: local: Register missing patch.
* gnu/local.mk (dist_patch_DATA): Register missing patch.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions