diff options
| author | Marius Bakke <marius@gnu.org> | 2023-01-08 19:34:10 +0100 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2023-01-08 19:34:10 +0100 |
| commit | 222a04ff97d892b4d3e7c35e4158035aada6f149 (patch) | |
| tree | 82ec4c052b9a262643d697a2d681f9fb46dc871b /gnu/packages/linux.scm | |
| parent | da91e790fdf4053a1503738e69f88c4b2054b096 (diff) | |
gnu: VLC: Remove obsolete patch.
This reverts 372b037540395b688a0406c89709fdc3af880e4a, which became obsolete
with af74211d987d2b8510e2f4937e65f6480754886f.
* gnu/packages/video.scm (vlc)[source](patches): Remove.
* gnu/packages/patches/vlc-dav1d-compat.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
Diffstat (limited to 'gnu/packages/linux.scm')
0 files changed, 0 insertions, 0 deletions