tiosgz b8fc4dcaa1 Allow the API to be used by other extensions ... This can be useful for example for updating / editing styles from outside of the browser. Closes #1264.		2021-08-31 07:57:12 +00:00
..
messages.json	Allow the API to be used by other extensions	2021-08-31 07:57:12 +00:00