diff options
| author | Diego Biurrun <diego@biurrun.de> | 2018-03-09 17:19:15 +0100 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2018-03-26 18:52:04 +0200 |
| commit | 5292e97c42b05db7ad4e51c1ea756b12fdf721ff (patch) | |
| tree | 9b7edee5e25909d6563183a9ccacafbec09e1882 /.gitignore | |
| parent | 86499771d1228d8303c8eb6509e20c0caaa02da5 (diff) | |
| download | ffmpeg-5292e97c42b05db7ad4e51c1ea756b12fdf721ff.tar.gz | |
configure: Document available options for the --toolchain parameter
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions