Guillaume Desmottes b81bdd823a gif: rename plugin to 'gif' ... It's more coherent and what's actually used as library name.		2020-12-01 11:26:46 +01:00
..
gifenc	video: Update to 2018 edition	2020-11-23 10:28:35 +02:00
lib.rs	gif: rename plugin to 'gif'	2020-12-01 11:26:46 +01:00