Block a user
Let's someday use Tilde Friends for source control, pull requests, issue tracking, etc.
Documentation, build improvements
You beat me to it. I was planning to make bug #1 be that we're not using Tilde Friends for this. Let's use gitea for now.
4ebd44cb4e
Avoid leaking some console colors.f
75cb9f7fd2
Make things workable with a reverse proxy in front.
eacca9d2ab
Ignore some files in subversion.
d0e11bc68b
Add missing .clang-format, and fix some spaces that slipped through.
1958623a7a
Package prettier.