diff options
| author | Paul B Mahol <onemda@gmail.com> | 2013-09-04 11:43:06 +0000 |
|---|---|---|
| committer | Paul B Mahol <onemda@gmail.com> | 2013-09-05 20:03:36 +0000 |
| commit | 0a8bb91505fff7bc3de58e0327807280440f9a24 (patch) | |
| tree | 28ca96e2607eb476689dbfbc9ca46653f9c1abdd /.gitignore | |
| parent | 59b9ecc92a6209ac4f2d9844f3c1b9fec8f193e2 (diff) | |
| download | ffmpeg-0a8bb91505fff7bc3de58e0327807280440f9a24.tar.gz | |
lavfi/mp: remove mp=dint
There are better and actually maintained filters that have similar
functionality.
Signed-off-by: Paul B Mahol <onemda@gmail.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions