From 58b3b222745a836407b622b812cb8c811c832142 Mon Sep 17 00:00:00 2001 From: dragonwocky Date: Thu, 10 Mar 2022 10:56:33 +0000 Subject: [PATCH] [repo] Merge pull request #72 from amv146/dev toggle header indentation lines, adjacent tab nav hotkeys --- extension/repo | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extension/repo b/extension/repo index 9c4b476..3777e6f 160000 --- a/extension/repo +++ b/extension/repo @@ -1 +1 @@ -Subproject commit 9c4b476f403ed1073b0c659d0d37fb38b050417f +Subproject commit 3777e6f064ef4af4a4a94372d84ad4ec1f6aa09a