Block a user
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.
Ah shame. If that bothers you that much you can work to make #100…
Documentation, build improvements
Also, should we use Tilde Friends' issues tracker (does it even work yet ?) or Gitea's ?
Documentation, build improvements
d9d2917cf5
chore: add folders to .gitignore
ce5ca1875b
doc: add JSDoc annotations in the core folder
4f869252a2
codemirror: add build script, edit build settings