3 Commits

Author	SHA1	Message	Date
Florian Dold	1548086f50	make diagnostics, welcome page and permissions work again	2020-08-21 20:56:25 +05:30
Florian Dold	f180d05804	remove excessive namespacing, format	2020-08-12 12:41:00 +05:30
Florian Dold	ffd2a62c3f	modularize repo, use pnpm, improve typechecking	2020-08-03 13:01:05 +05:30