diff options
| author |   Mauro Carvalho Chehab <mchehab@osg.samsung.com> | 2016-11-14 14:32:31 -0200 |
|---|---|---|
| committer |   Jonathan Corbet <corbet@lwn.net> | 2016-11-16 15:20:49 -0700 |
| commit | f3902934797b0b00ba8f10bfc377c1bb2789046c (patch) | |
| tree | 3d019bb36127b9c7e46d533d6df7f7fa98fe2654 /tools/perf/scripts/python/export-to-postgresql.py | |
| parent | convert some images from png to svg (diff) | |
| download | linux-dev-f3902934797b0b00ba8f10bfc377c1bb2789046c.tar.xz linux-dev-f3902934797b0b00ba8f10bfc377c1bb2789046c.zip | |
docs-rst: convert gif files to png
Right now, media is using two different formats for bitmap
images: GIF and PNG. Let's use just one, to make it simpler when
building with Sphinx.
As PNG is usually better than GIF, let's use it.
Signed-off-by: Mauro Carvalho Chehab <mchehab@s-opensource.com>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'tools/perf/scripts/python/export-to-postgresql.py')
0 files changed, 0 insertions, 0 deletions