10 Commits

Include renames

Author	SHA1	Message	Date
Brian Vaughn	7f6fdfea95	Add package commands for creating dev builds for easier debugging	2019-04-13 18:25:56 -07:00
Brian Vaughn	670d1348f1	Chrome build+deploy script auto-increment a prerelease version	2019-04-12 14:42:34 -07:00
Brian Vaughn	94810b2b5a	Add Git revision to extension manifests	2019-04-11 19:06:07 -07:00
Brian Vaughn	9a0cf68a4d	Add Git revision to build version	2019-04-11 18:44:44 -07:00
Brian Vaughn	f3f4643a3a	Experimenting with portals	2019-03-17 13:52:37 -07:00
Brian Vaughn	d3ee02cd35	Added "Profiler" tab	2019-03-17 10:58:20 -07:00
Brian Vaughn	7b2f06e3d3	Added (temporary) deploy scripts for pre-release extensions	2019-02-22 14:36:10 -08:00
Brian Vaughn	15c5396169	Re-added "Settings" panel to browser extension and (hopefully) fixed a lot of sources of error	2019-02-14 11:45:11 -08:00
Brian Vaughn	4ea81337f3	Initial pass at adding Settings panel to browser extension	2019-02-13 10:59:49 -05:00
Brian Vaughn	d57ec69561	Added initial Chrome/Firefox shells	2019-01-23 18:06:21 -08:00