tastytea 5602b4a7e3 arte_download_button: Renamed functions and variables names. ... They are more descriptive now.		2019-06-18 21:01:07 +02:00
..
arte_download_button.user.js	arte_download_button: Renamed functions and variables names.	2019-06-18 21:01:07 +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