Alex Yatskov 7dd75082ab rename options to settings		2017-07-16 12:59:16 -07:00
..
bg	rename options to settings	2017-07-16 12:59:16 -07:00
fg	refactor mixed/js/util.js	2017-07-16 12:48:27 -07:00
mixed	refactor mixed/js/util.js	2017-07-16 12:48:27 -07:00
manifest.json	rename options to settings	2017-07-16 12:59:16 -07:00