tibbi 75816a1b77 added an option to toggle animating gifs at thumbnails		2017-03-01 23:05:14 +01:00
..
main	added an option to toggle animating gifs at thumbnails	2017-03-01 23:05:14 +01:00