diff options
author | James Almer <jamrial@gmail.com> | 2017-11-16 13:12:59 -0300 |
---|---|---|
committer | James Almer <jamrial@gmail.com> | 2017-11-16 13:12:59 -0300 |
commit | edef07569ccc4e10151c676bfd440412c8592f31 (patch) | |
tree | 4773f75bf68a2e3da31dedf30fcec96453093763 /doc/platform.texi | |
parent | 1146a7a363ab7169a7713d774571b63287508cc8 (diff) | |
parent | bad7ce1d82f0b7da55086b8c6124eff0d35a1b1a (diff) | |
download | ffmpeg-edef07569ccc4e10151c676bfd440412c8592f31.tar.gz |
Merge commit 'bad7ce1d82f0b7da55086b8c6124eff0d35a1b1a'
* commit 'bad7ce1d82f0b7da55086b8c6124eff0d35a1b1a':
makedef: Pass EXTERN_PREFIX from configure to makedef
Merged-by: James Almer <jamrial@gmail.com>
Diffstat (limited to 'doc/platform.texi')
0 files changed, 0 insertions, 0 deletions