tastytea 2e1e6d8416 ard_download_button: Added support for format516040.mp4-URLs.		2019-06-22 04:08:33 +02:00
..
ard_download_button.user.js	ard_download_button: Added support for format516040.mp4-URLs.	2019-06-22 04:08:33 +02:00
arte_download_button.user.js	arte_download_button: Renamed functions and variables names.	2019-06-18 21:01:07 +02:00
ccc_media_player_down.user.js	Added CCC-media video-player down-mover.	2019-06-18 22:37:46 +02:00
ndr_download_button.user.js	ndr_download_button: Do not add button if there is one already.	2019-06-17 13:48:48 +02:00