[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:30 +00:00 committed by GitHub Actions
parent d4dd19e1db
commit db22ab5f0e

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