paxt001/video
tastytea 245933a50e
Removed ARD download button.
It doesn't work anymore, I can't figure out how to extract the URL.
2021-05-04 02:24:44 +02:00
..
arte_download_button.user.js arte_download_button: Run every 2 seconds. 2019-06-22 05:16:47 +02:00
ccc_media_player_down.user.js ccc_media_player_down: Move above the share-widget. 2019-08-10 17:33:08 +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