mirror of
https://github.com/FFmpeg/FFmpeg.git
synced 2025-02-04 06:08:26 +02:00
ce33320b30
Filenames are brittle across renames and add no useful information.