diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2022-05-30 10:42:47 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2022-05-30 10:42:47 +0300 |
| commit | 4259a6516a7c8617e59e00b1c4959c4f8d136794 (patch) | |
| tree | 01f86be44eb0b31db287a678e0b99b8e56a0a5b4 /.gitignore | |
| parent | 1a8519dd017b641186bc5dd26e675fd4601287ac (diff) | |
gnu: virtuoso-ose: Register patch.
This is a follow-up to 48efbde7a944acfe4fc944bf27bfa9ff82592024.
* gnu/local.mk (dist_patch_DATA): Register patch.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions