Fixes #1
Fixes #1
syntax-highlighting into main
Fixes #1
It can currently lag quite a bit due to the package used, I wonder if there is a better one that I could use...
Highlightr seems to flicker the same way... sigh (plus it wouldn't work with comments, etc.)
Use this merge commit message when completing the merge manually.
Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.
No due date set.
No dependencies set.
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?