Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 06:00:15 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #28613 - agrawal-d:cli-args-list, r=jdm

Browse source 
docs: Fix link to experimental CLI prefs list

Fixes: #28612.

Signed-off-by: Divyanshu Agrawal <agrawal-d@outlook.com>

<!-- Please describe your changes on the following line: -->

---
<!-- 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
- [x] These changes fix #28612 (GitHub issue number if applicable)

<!-- Either: -->
- [ ] There are tests for these changes OR
- [x] These changes do not require tests because these are documentation changes.

<!-- 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. -->
This commit is contained in:
bors-servo 2021-10-16 08:03:16 -04:00 • committed by GitHub
commit 957cf14e5d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
docs/COMMAND_LINE_ARGS.md
View file

@ -18,7 +18,7 @@ e.g. To enable Web VR and Bluetooth features:
./mach run -d -- --pref dom.webvr.enabled --pref dom.bluetooth.enabled ... ./mach run -d -- --pref dom.webvr.enabled --pref dom.bluetooth.enabled ...
``` ```
You can find all the available preferences at [resources/prefs.json](https://dxr.mozilla.org/servo/source/resources/prefs.json). You can find all the available preferences at [resources/prefs.json](../resources/prefs.json).
# Debugging # Debugging
## Remote Debugging ## Remote Debugging