Brian Vaughn 13ca37384d Maybe fixed checkbox alignment issue Dan reported?

2019-02-27 13:54:53 -08:00

..

views

Maybe fixed checkbox alignment issue Dan reported?

2019-02-27 13:54:53 -08:00

index.js

Added Prettier (and formatted code)

2019-01-23 08:45:19 -08:00

store.js

Left arrow selects parent in tree

2019-02-27 13:49:46 -08:00

types.js

Implemented view-source button for DOM extension

2019-02-22 13:24:03 -08:00