diff options
| author | Diego Biurrun <diego@biurrun.de> | 2016-02-20 18:34:20 +0100 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2016-02-23 11:45:37 +0100 |
| commit | 9328adcc8012a1b0e00c465c85b5453589a4f5f7 (patch) | |
| tree | 4531ee9cd642ee138e73b23c87139f602f31de08 /tools/bookmarklets.html | |
| parent | 5e555f93009f0605db120eec78262d0fe337e645 (diff) | |
| download | ffmpeg-9328adcc8012a1b0e00c465c85b5453589a4f5f7.tar.gz | |
fate: Be silent when fetching Git updates
Diffstat (limited to 'tools/bookmarklets.html')
0 files changed, 0 insertions, 0 deletions