5 commits

Author	SHA1	Message	Date
Joscha	732c33d6f7	Fix VSCode config and dev instructions	2023-08-05 23:01:29 +02:00
Joscha	5d62a2891c	Update and document scripts	2023-08-05 19:42:59 +02:00
Joscha	6d6e25f991	Document building instructions	2023-08-04 14:46:56 +02:00
Joscha	12ec8ac217	Write down some design notes	2023-08-03 23:06:05 +02:00
Joscha	838844a9d8	Create project	2023-08-03 14:32:37 +02:00