7 commits

Author	SHA1	Message	Date
Jörn-Michael Miehe	d92e759cae	numbering	2022-10-08 02:44:29 +02:00
Jörn-Michael Miehe	e8eacd8a6c	README	2022-10-08 02:44:29 +02:00
Jörn-Michael Miehe	4de9e07646	README	2022-10-08 02:44:29 +02:00
Jörn-Michael Miehe	044e2a351e	README files	2022-10-08 02:44:29 +02:00
Jörn-Michael Miehe	2c88caead9	READMEs	2022-10-08 02:44:29 +02:00
Jörn-Michael Miehe	004723499b	main README	2022-10-08 02:44:29 +02:00
Jörn-Michael Miehe	73824b1755	main README	2022-10-08 02:44:29 +02:00