From fefd06da021c4a0a59ddb431a9d3f183698d4986 Mon Sep 17 00:00:00 2001 From: Alex Touchet Date: Sat, 4 Nov 2017 13:07:19 -0700 Subject: [PATCH] Fix dead link in COMMAND_LINE_ARGS.md --- docs/COMMAND_LINE_ARGS.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/COMMAND_LINE_ARGS.md b/docs/COMMAND_LINE_ARGS.md index b8898e3f4f4..628013e51f2 100644 --- a/docs/COMMAND_LINE_ARGS.md +++ b/docs/COMMAND_LINE_ARGS.md @@ -18,7 +18,7 @@ e.g. To enable `flex` and `flex-direction` css properties: ./mach run -d -- --pref layout.flex.enabled --pref layout.flex-direction.enabled ... ``` -You can find all the available preferences at [resources/prefs.json](http://mxr.mozilla.org/servo/source/resources/prefs.json). +You can find all the available preferences at [resources/prefs.json](https://dxr.mozilla.org/servo/source/resources/prefs.json). # Debugging ## Remote Debugging