diff options
| author | Diego Biurrun <diego@biurrun.de> | 2012-03-23 12:20:54 +0100 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2012-03-25 11:46:15 +0200 |
| commit | 5d115c1da76a8ab935a74ff76e8189ca05a9f048 (patch) | |
| tree | 77d22657bedb3f04589c5c89623c6e66090d285d /.gitignore | |
| parent | 3a3f06b05eee7c3e9da781864a510eda1ff587b8 (diff) | |
Ignore generated files below doc/.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index e08648ba03..dfc1355d9e 100644 --- a/.gitignore +++ b/.gitignore @@ -15,6 +15,9 @@ avconv avplay avprobe avserver +doc/avoptions_codec.texi +doc/avoptions_format.texi +doc/print_options libavcodec/*_tablegen libavcodec/*_tables.c libavcodec/*_tables.h |