From 854c15b61b9833e502edbcb405c22f6236b3d135 Mon Sep 17 00:00:00 2001
From: dragonwocky <dragonwocky@users.noreply.github.com>
Date: Thu, 10 Mar 2022 11:37:00 +0000
Subject: [PATCH] [repo] indentation lines: fix #51, full support for toggle
 headers

---
 extension/repo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extension/repo b/extension/repo
index 3777e6f..e1f10e7 160000
--- a/extension/repo
+++ b/extension/repo
@@ -1 +1 @@
-Subproject commit 3777e6f064ef4af4a4a94372d84ad4ec1f6aa09a
+Subproject commit e1f10e780dc012c62d2a88ed9e6c4dea1a2d698a