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 |