diff options
| author | Leo Famulari <[email protected]> | 2019-02-04 23:45:52 +0100 |
|---|---|---|
| committer | Leo Famulari <[email protected]> | 2019-02-04 23:46:26 +0100 |
| commit | ee2875e57dab3e32e03b7530474397d07743daac (patch) | |
| tree | 6c156bf249a83c18fd04d132b75291405c147afe /gnu/services | |
| parent | bfa3e64d7f97c759e5b4f5977827100ecd0df03c (diff) | |
gnu: Remove unused patch 'blender-newer-ffmpeg.patch'.
This is a followup to commit fc51c28ae8172c9f4370772bd76601f89b9498e6.
* gnu/packages/patches/blender-newer-ffmpeg.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions