Merge pull request #4 from noahshaw11/add-editors-magic-lines main
authoriilyak <iilyak@users.noreply.github.com>
Thu, 28 Jul 2022 11:50:50 +0000 (04:50 -0700)
committerGitHub <noreply@github.com>
Thu, 28 Jul 2022 11:50:50 +0000 (04:50 -0700)
Add editors magic lines


Trivial merge