diff options
| author | bors-servo <infra@servo.org> | 2023-07-13 11:25:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-13 11:25:21 +0200 |
| commit | 19590bfe460f97847271563c8f1a81d35f9ef2be (patch) | |
| tree | 51ce3a7e5693ab2b78c0d14e2b278b6396066c89 /docs/debugging.md | |
| parent | d5202a4a98027b443a6cc04b4b977807131efd5a (diff) | |
| parent | 8e7c45b8ff82594db78d16a65a5da6a9a2142e7f (diff) | |
| download | servo-auto.tar.gz servo-auto.zip | |
Auto merge of #29995 - servo:minibrowser_prefs, r=delanauto
Minibrowser: Introduce minibrowser.enabled prefs
Introducing minibrowser.enabled prefs in preparation of #29976
---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->
<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
Diffstat (limited to 'docs/debugging.md')
0 files changed, 0 insertions, 0 deletions