tools: Add jpeg alternative to jpg extension.
This commit is contained in:
parent
664a77909d
commit
faa58d1d69
1 changed files with 1 additions and 1 deletions
|
|
@ -32,7 +32,7 @@ tools_for_extensions = [
|
|||
[["so"], ["nm"]],
|
||||
[["deb"], ["dpkg_contents", "dpkg_info"]],
|
||||
[["rpm"], ["rpm"]],
|
||||
[["png", "jpg", "gif", "bmp", "tif", "tiff", "tga", "ico", "xpm"], ["mediainfo", "pil"]],
|
||||
[["png", "jpg", "jpeg", "gif", "bmp", "tif", "tiff", "tga", "ico", "xpm"], ["mediainfo", "pil"]],
|
||||
[["svg", "svgz"], ["cairosvg"]],
|
||||
[["mkv", "mka", "mks", "ogg", "ogm", "avi", "wav", "mpeg", "mpg", "vob",
|
||||
"mp4", "mpgv", "mpv", "m1v", "m2v", "mp2", "mp3", "asf", "wma", "wmv",
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue