Closed pdehaan closed 6 years ago
Now that we're a web-ext, not sure if we still need .jpm-prefs.json, or if it's obsoleted.
Now that we're a web-ext, not sure if we still need .jpm-prefs.json, or if it's obsoleted.