tastytea a7c7411bb0 Added comment to ard_download_button and reformatted.		2019-06-22 01:36:03 +02:00
..
ard_download_button.user.js	Added comment to ard_download_button and reformatted.	2019-06-22 01:36:03 +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
ndr_hd_button.user.js	Added deprecation warning to ndr_hd_button.	2019-06-17 13:17:27 +02:00