diff options
author | Rechi <Rechi@users.noreply.github.com> | 2017-03-12 20:07:02 +0100 |
---|---|---|
committer | Rechi <Rechi@users.noreply.github.com> | 2017-03-12 20:07:02 +0100 |
commit | 51b905b1d642d598c9e74277477129ce8612169e (patch) | |
tree | 80cee2996451342f0a8b0c85f7479089e6d8f525 /.gitignore | |
parent | 71837f8bc620b264205e627704d82ad059a89921 (diff) |
[jenkins][windows] don't remove previous compiled version of ffmpeg and libdvd if nothing changed
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 0f2f048a6e..bce1af0db8 100644 --- a/.gitignore +++ b/.gitignore @@ -21,6 +21,7 @@ testMain config.cache config.status config.log +.last_success_revision *.d *.depend *.pc |