4 commits

Author	SHA1	Message	Date
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