From b31217a889134620d0763e65d62ae1dc5f53c6fd Mon Sep 17 00:00:00 2001 From: Michaela Laurencin <35157522+mlaurencin@users.noreply.github.com> Date: Thu, 4 Feb 2021 13:02:36 -0800 Subject: [PATCH] chore: fix lint (#27620) --- docs/tutorial/devtools-extension.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/tutorial/devtools-extension.md b/docs/tutorial/devtools-extension.md index 9d06272f78fc..8fb5eb059868 100644 --- a/docs/tutorial/devtools-extension.md +++ b/docs/tutorial/devtools-extension.md @@ -97,7 +97,7 @@ of the extension is not working as expected. [devtools-extension]: https://developer.chrome.com/extensions/devtools [session]: ../api/session.md [react-devtools]: https://chrome.google.com/webstore/detail/react-developer-tools/fmkadmapgofadopljbjfkapdkoienihi -[load-extension]: ../api/session.md#sesloadextensionpath +[load-extension]: ../api/session.md#sesloadextensionpath-options [extension-structure]: ../api/structures/extension.md [remove-extension]: ../api/session.md#sesremoveextensionextensionid [electron-devtools-installer]: https://github.com/MarshallOfSound/electron-devtools-installer