[repo] Merge pull request #72 from amv146/dev

toggle header indentation lines, adjacent tab nav hotkeys
This commit is contained in:
dragonwocky 2022-03-10 10:56:33 +00:00 committed by GitHub Actions
parent c607b1a705
commit 58b3b22274

@ -1 +1 @@
Subproject commit 9c4b476f403ed1073b0c659d0d37fb38b050417f
Subproject commit 3777e6f064ef4af4a4a94372d84ad4ec1f6aa09a