mirror of
https://github.com/FFmpeg/FFmpeg.git
synced 2025-01-19 05:49:09 +02:00
25f3827e1d
Should fix behavior when the /dev/ directory is not defined (e.g. on Windows).