browser-extension - A Web Extension to facilitate replacing sites' js with user-supplied scripts

Mode	Name	Size
-rw-r--r--	CHROMIUM_exports_init.js	106	log plain about
-rw-r--r--	COPYING	35149	log plain about
-rw-r--r--	MOZILLA_exports_init.js	2520	log plain about
-rw-r--r--	Makefile.in	3601	log plain about
-rw-r--r--	README.txt	1417	log plain about
d---------	background	305	log plain
-rwxr-xr-x	build.sh	4413	log plain about
d---------	common	781	log plain
-rw-r--r--	compute_scripts.awk	5561	log plain about
-rwxr-xr-x	configure	3344	log plain about
d---------	content	170	log plain
-rw-r--r--	copyright	9225	log plain about
-rw-r--r--	default_settings.json	841	log plain about
-rw-r--r--	dummy	0	log plain about
d---------	html	619	log plain
d---------	icons	251	log plain
d---------	licenses	236	log plain
-rw-r--r--	manifest.json	1463	log plain about
-rwxr-xr-x	process_html_file.sh	1140	log plain about
-rw-r--r--	pytest.ini	691	log plain about
-rwxr-xr-x	re-generate_icons.sh	621	log plain about
-rw-r--r--	shell_utils.sh	1277	log plain about
d---------	test	487	log plain
-rwxr-xr-x	upload_amo.sh	2923	log plain about
-rwxr-xr-x	write_exports_init.sh	834	log plain about
-rwxr-xr-x	write_makefile.sh	1039	log plain about