7 Commits

Author	SHA1	Message	Date
Thomas	66c39a7fa9	still more documentation	2022-01-11 10:49:54 +01:00
Thomas	8e6a206770	fixed some warnings	2022-01-10 09:36:38 +01:00
Thomas	2642ff2e69	AHHHHHH	2022-01-10 09:27:35 +01:00
Thomas	8f24a307f8	flm	2022-01-10 08:50:48 +01:00
Thomas	f2984fffb8	preconditions	2022-01-09 20:40:55 +01:00
Thomas	04a7a63a25	push	2022-01-09 18:41:27 +01:00
Thomas	a81ec496a6	push	2022-01-09 18:30:15 +01:00