Add xpi-web_developer 1.0.2, an extension to add various web developer
tools.
PR: ports/96882
Submitted by: chinsan <chinsan.tw@gmail.com>
Description
Description
Details
Details
- Provenance
vanilla Authored on - Parents
- rP161584: - Use a better way to detect SDL header
- Branches
- Unknown
- Tags