From 6b7a76e927680b269974bbb828c84ed2eb300d54 Mon Sep 17 00:00:00 2001 From: Gabriel Horner Date: Wed, 28 Jun 2023 15:20:25 -0400 Subject: [PATCH] Forgot linebreak in doc section --- docs/dev-practices.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/dev-practices.md b/docs/dev-practices.md index e1e12f683c..33fed9099c 100644 --- a/docs/dev-practices.md +++ b/docs/dev-practices.md @@ -316,6 +316,7 @@ inspectors for block/page data and AST. Since the desktop app is built with Electron, a full set of Chromium developer tools is available under the menu `View > Toggle Developer Tools`. Handy tools include a JS console and HTML inspector. + ## Security Practices * Our builds should not include unverified, third-party resources as this opens