4 commits

Author	SHA1	Message	Date
Erik Ogenvik	c159d3367b	Update status of design docs	2023-01-06 14:02:05 +01:00
Erik Ogenvik	2620bd6510	Formatting.	2022-07-23 00:19:04 +02:00
Erik Ogenvik	1d4f182c4b	Avoid shadowing.	2020-07-27 00:23:42 +02:00
Erik Ogenvik	a572d2a133	Added various design documents. ... These are documents I've used when sketching out various features. The final feature as implemented in the server might differ from what's described in the design documents, but they serve as a good background to various features.	2020-07-26 18:14:18 +02:00