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