From 8a50bac10116d67b0fe8e421924f1071dd9ea947 Mon Sep 17 00:00:00 2001 From: Tommy Date: Fri, 8 Apr 2022 06:59:21 +0000 Subject: [PATCH] Change "Browser extensions" to "Additional Resources" (#948) Signed-off-by: Daniel Gray --- docs/tools.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/tools.md b/docs/tools.md index 56e7e843..f6f1380e 100644 --- a/docs/tools.md +++ b/docs/tools.md @@ -22,7 +22,7 @@ For your convenience, everything we recommend is listed below with a link to the -**Browser Extensions:** +**Additional Resources:**